diff options
-rwxr-xr-x | old-configure | 4 |
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 |