diff options
author | wm4 <wm4@nowhere> | 2013-11-30 23:17:44 +0100 |
---|---|---|
committer | wm4 <wm4@nowhere> | 2013-11-30 23:17:44 +0100 |
commit | aaddcb702ef93eac9087852202a59f91abb31433 (patch) | |
tree | a4e9c8619cad3c2fe0ae02795ed2929ffc5b26c2 /old-configure | |
parent | fafa2f4b85afedf9722367d4972fe657a9336bd7 (diff) | |
download | mpv-aaddcb702ef93eac9087852202a59f91abb31433.tar.bz2 mpv-aaddcb702ef93eac9087852202a59f91abb31433.tar.xz |
old-configure: delete pre-waf config.h and config.mak
Diffstat (limited to 'old-configure')
-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 |