diff options
Diffstat (limited to 'clean_build.sh')
| -rwxr-xr-x | clean_build.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/clean_build.sh b/clean_build.sh index fc1065a..3a92d8b 100755 --- a/clean_build.sh +++ b/clean_build.sh @@ -18,6 +18,10 @@ if [ "$(uname)" = "Darwin" ]; then fi # allow local customizations to build environment [ -r ./build_env.sh ] && . ./build_env.sh + +# Initialise Git submodules +git submodule update --init --recursive + B_CMAKE_FLAGS="-DCMAKE_BUILD_TYPE=$B_BUILD_TYPE $B_CMAKE_FLAGS" rm -rf build mkdir build || exit 1 |
