From ba4c7400ba69da205ca39fa99f74229685cda822 Mon Sep 17 00:00:00 2001 From: Andreas Lauser Date: Wed, 13 Nov 2013 11:46:27 +0100 Subject: [PATCH] configure script: also delete the cmake cache This replicates the autotools behavior and was suggested by Roland Kaufmann. --- cmake/Scripts/configure | 1 + 1 file changed, 1 insertion(+) diff --git a/cmake/Scripts/configure b/cmake/Scripts/configure index 785fa13c3..354707125 100755 --- a/cmake/Scripts/configure +++ b/cmake/Scripts/configure @@ -516,6 +516,7 @@ done # For more details, see http://www.cmake.org/Bug/view.php?id=14119 echo "--- deleting previous CMake files ---" rm -rf CMakeFiles +rm -f CMakeCache.txt # pass everything on to CMake CMDLINE="${ENVVARS}${CMAKE_COMMAND} \"${srcdir}\" ${use_ninja}\"-DCMAKE_INSTALL_PREFIX=$prefix\"${buildtype}${pch_use}${silent_rules}${debug_loc}${use_openmp}${use_mpi}${use_lto}${use_runpath}${use_tests}${use_samples}${use_underscoring}${c_compiler}${c_opts}${cxx_compiler}${cxx_opts}${fort_compiler}${fort_opts}${boost_opts}${buildname}${site} ${FEATURES}"