Commit 18d89c3e authored by Jakub Klinkovský's avatar Jakub Klinkovský
Browse files

build script: added command to remove old build directories

parent 37b54df6

build

+4 −0
Original line number Diff line number Diff line
@@ -205,6 +205,10 @@ else 
   check_file="Makefile"

fi



# remove old build directories that were used before the unified top-level "builddir"

# (TODO: this code be removed later)

rm -rf ./Release ./Debug ./RelWithDebInfo ./Testing ./Build



BUILD_DIR="builddir/$BUILD"

cmake_command=(

   ${CMAKE} -B "$BUILD_DIR" -S "$ROOT_DIR" -G "$generator"