This was not supposed to be removed.

diff --git a/configure.in b/configure.in
index 38d9647a4b10bbac3f339a9c577584f3e9e247c9..594f4d6a7da0fbb165f0d669fc25aff924a22575 100644 (file)
--- a/configure.in
+++ b/configure.in
@@ -991,6 +991,7 @@ dnl  fi
 
 
   if test -n "$DEBUG_LOG"; then
+    rm -f config.cache
 cat <<X
 +--------------------------------------------------------------------+
 |                       *** ATTENTION ***                            |