diff options
Diffstat (limited to 'nt/makefile.w32-in')
| -rw-r--r-- | nt/makefile.w32-in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/nt/makefile.w32-in b/nt/makefile.w32-in index e7a10698ea2..05e9a665879 100644 --- a/nt/makefile.w32-in +++ b/nt/makefile.w32-in @@ -153,6 +153,7 @@ bootstrap-nmake: addsection cmdproxy cd ..\src
$(MAKE) $(MFLAGS) bootstrap
$(MAKE) $(MFLAGS) bootstrap-clean
+ cd ..\nt
$(CP) $(BLD)/cmdproxy.exe ../bin
cd ..\lisp
$(MAKE) $(MFLAGS) SHELL=$(SHELLTYPE) bootstrap
|