diff --git a/configure b/configure index 5cea8d59..002a4f36 100755 --- a/configure +++ b/configure @@ -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"