Delete config.cache always. This makes config.nice a bit more useful.

diff --git a/configure.in b/configure.in
index 9754935702261e1b7bc5b8568af52627109ea6cf..39e0571ff4dc755145b9bf99b53d695a2675af1e 100644 (file)
--- a/configure.in
+++ b/configure.in
@@ -5,6 +5,11 @@ divert(1)
 
 AC_INIT(README.CVS-RULES)
 
+dnl Remove config.cache as it might cause unexpected behaviour
+dnl in case of a reconfigure.
+divert(0)
+rm -f config.cache
+
 PHP_FAST_OUTPUT(sapi/Makefile ext/Makefile Makefile pear/Makefile main/Makefile)
 
 if test "$with_shared_apache" != "no" && test -n "$with_shared_apache" ; then
@@ -991,7 +996,6 @@ dnl  fi
 
 
   if test -n "$DEBUG_LOG"; then
-    rm -f config.cache
 cat <<X
 +--------------------------------------------------------------------+
 |                       *** ATTENTION ***                            |