diff options
Diffstat (limited to 'win32')
-rwxr-xr-x | win32/configure.bat | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/win32/configure.bat b/win32/configure.bat index 001fd3ee9c..4cac13e08c 100755 --- a/win32/configure.bat +++ b/win32/configure.bat @@ -161,8 +161,8 @@ if exist pathlist.tmp echo>>~setup~.mak LIB = $(pathlist:;=/lib;) type>>~setup~.mak ~tmp~.mak
del *.tmp > nul
del ~tmp~.mak > nul
-echo>>~setup~.mak @if exist Makefile.old del Makefile.old
-echo>>~setup~.mak @if exist Makefile ren Makefile Makefile.old
-echo>>~setup~.mak @ren Makefile.new Makefile
+echo>>~setup~.mak @if exist Makefile.old del Makefile.old
+echo>>~setup~.mak @if exist Makefile ren Makefile Makefile.old
+echo>>~setup~.mak @ren Makefile.new Makefile
nmake -alf ~setup~.mak MAKEFILE=Makefile.new
:exit
|