diff options
-rwxr-xr-x | win32/configure.bat | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/win32/configure.bat b/win32/configure.bat index 8c157927e4..da3878533e 100755 --- a/win32/configure.bat +++ b/win32/configure.bat @@ -161,5 +161,8 @@ if exist pathlist.tmp echo>>~setup~.mak LIB = $(pathlist:;=/lib;) type>>~setup~.mak ~tmp~.mak
del *.tmp > nul
del ~tmp~.mak > nul
-nmake -alf ~setup~.mak
+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
|