diff options
Diffstat (limited to 'config.bat')
| -rw-r--r-- | config.bat | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/config.bat b/config.bat index 4ce30874e8f..ba31161962e 100644 --- a/config.bat +++ b/config.bat @@ -190,11 +190,11 @@ rem On my system dir.h gets in the way. It's a VMS file so who cares. if exist dir.h ren dir.h vmsdir.h
rem Create "makefile" from "makefile.in".
-rm -f Makefile junk.c
+rm -f Makefile junk.c junk2.c
sed -e "1,/== start of cpp stuff ==/s@^##*[ ].*$@@" <Makefile.in >junk.c
-gcc -E -traditional junk.c | sed -f ../msdos/sed1v2.inp >makefile.tmp
-copy makefile.tmp + deps.mk Makefile
-rm -f junk.c makefile.tmp
+copy junk.c + deps.mk junk2.c
+gcc -E -traditional junk2.c | sed -f ../msdos/sed1v2.inp >Makefile
+rm -f junk.c junk2.c
if "%X11%" == "" goto src5
mv Makefile makefile.tmp
|