Closes #5539. Removes build folder when ./configure is run
This commit is contained in:
parent
4141eead18
commit
bc7ca7bb96
1 changed files with 3 additions and 0 deletions
3
configure
vendored
3
configure
vendored
|
|
@ -97,6 +97,9 @@ fi
|
|||
# Remove existing Makefile so it's not left around if configure fails
|
||||
rm -f Makefile
|
||||
|
||||
# Remove the build folder to force Cmake to update its cache.
|
||||
rm -fr build
|
||||
|
||||
if ! mkdir -p build
|
||||
then
|
||||
printf "Unable to create build directory.\n"
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue