summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xold-configure4
1 files changed, 4 insertions, 0 deletions
diff --git a/old-configure b/old-configure
index 8decf53458..731cd0c6d1 100755
--- a/old-configure
+++ b/old-configure
@@ -3506,6 +3506,10 @@ EOF
# Do not overwrite an unchanged config.h to avoid superfluous rebuilds.
cmp -s "$TMPH" old_build/config.h || mv -f "$TMPH" old_build/config.h
+# Kill old config.h, as it might interfere with the build. Also get rid of
+# old config.mak, which might be confusing.
+rm -f config.h config.mak
+
#############################################################################
cat << EOF