diff options
| -rwxr-xr-x | nt/configure.bat | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/nt/configure.bat b/nt/configure.bat index 373318d04a3..27ba7bedce1 100755 --- a/nt/configure.bat +++ b/nt/configure.bat | |||
| @@ -509,9 +509,10 @@ if exist config.tmp del config.tmp | |||
| 509 | copy /b config.settings+%MAKECMD%.defs+..\nt\makefile.w32-in ..\nt\makefile | 509 | copy /b config.settings+%MAKECMD%.defs+..\nt\makefile.w32-in ..\nt\makefile |
| 510 | copy /b config.settings+%MAKECMD%.defs+..\lib-src\makefile.w32-in ..\lib-src\makefile | 510 | copy /b config.settings+%MAKECMD%.defs+..\lib-src\makefile.w32-in ..\lib-src\makefile |
| 511 | copy /b config.settings+%MAKECMD%.defs+..\src\makefile.w32-in ..\src\makefile | 511 | copy /b config.settings+%MAKECMD%.defs+..\src\makefile.w32-in ..\src\makefile |
| 512 | copy /b config.settings+%MAKECMD%.defs+..\man\makefile.w32-in ..\man\makefile | 512 | copy /b config.settings+%MAKECMD%.defs+..\doc\emacs\makefile.w32-in ..\doc\emacs\makefile |
| 513 | copy /b config.settings+%MAKECMD%.defs+..\lispref\makefile.w32-in ..\lispref\makefile | 513 | copy /b config.settings+%MAKECMD%.defs+..\doc\misc\makefile.w32-in ..\doc\misc\makefile |
| 514 | copy /b config.settings+%MAKECMD%.defs+..\lispintro\makefile.w32-in ..\lispintro\makefile | 514 | copy /b config.settings+%MAKECMD%.defs+..\doc\lispref\makefile.w32-in ..\doc\lispref\makefile |
| 515 | copy /b config.settings+%MAKECMD%.defs+..\doc\lispintro\makefile.w32-in ..\doc\lispintro\makefile | ||
| 515 | if exist ..\lisp\makefile rm -f ../lisp/[Mm]akefile | 516 | if exist ..\lisp\makefile rm -f ../lisp/[Mm]akefile |
| 516 | copy /b config.settings+%MAKECMD%.defs+..\lisp\makefile.w32-in ..\lisp\makefile | 517 | copy /b config.settings+%MAKECMD%.defs+..\lisp\makefile.w32-in ..\lisp\makefile |
| 517 | rem Use the default (no-op) Makefile.in if the nt version is not present. | 518 | rem Use the default (no-op) Makefile.in if the nt version is not present. |