win32: mkdir complain that directory already existed.

pull/1003/head
lijunlong 8 months ago
parent 159e9e65c0
commit a09864c98b

2
util/configure vendored

@ -1147,7 +1147,7 @@ _EOC_
$target_dir = "\$(DESTDIR)$prefix/bin/"; $target_dir = "\$(DESTDIR)$prefix/bin/";
} }
push @make_install_cmds, push @make_install_cmds,
"mkdir '$target_dir'", "mkdir -p '$target_dir'",
"cd $root_dir/build/$opm_dir && " "cd $root_dir/build/$opm_dir && "
. "\$(INSTALL) bin/* '$target_dir'"; . "\$(INSTALL) bin/* '$target_dir'";
} }

Loading…
Cancel
Save