diff options
Diffstat (limited to 'build/tools/build-cxx-stl.sh')
-rwxr-xr-x | build/tools/build-cxx-stl.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/build/tools/build-cxx-stl.sh b/build/tools/build-cxx-stl.sh index 8486410bf..006354e43 100755 --- a/build/tools/build-cxx-stl.sh +++ b/build/tools/build-cxx-stl.sh @@ -145,6 +145,7 @@ if [ -z "$OPTION_BUILD_DIR" ]; then else BUILD_DIR=$OPTION_BUILD_DIR fi +rm -rf "$BUILD_DIR" mkdir -p "$BUILD_DIR" fail_panic "Could not create build directory: $BUILD_DIR" |