diff options
Diffstat (limited to 'win32_build.sh')
| -rwxr-xr-x | win32_build.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/win32_build.sh b/win32_build.sh index afe5745e356..2c11b1dfc11 100755 --- a/win32_build.sh +++ b/win32_build.sh @@ -65,9 +65,10 @@ curlInclude="${curlDir}/include" if [[ -n $CLEAN_BUILD ]]; then echo "Cleaning up build dir: $BUILD_DIR" rm -rf $BUILD_DIR + rm -rf $DEPS_DIR fi -if [[ ! -d $DEPS_DIR ]]; then +if [[ ! -f ${depsToolsetDir}/completed ]]; then echo "Preparing dependencies: $DEPS_DIR" NUM_WORKERS=$NUM_WORKERS DEPS_DIR=$DEPS_DIR \ "$SCRIPT_DIR/win32_deps_build.sh" |