diff options
Diffstat (limited to 'config.bat')
| -rw-r--r-- | config.bat | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config.bat b/config.bat index e480a4b9bc8..dba3600e0d9 100644 --- a/config.bat +++ b/config.bat @@ -211,7 +211,7 @@ if exist dir.h ren dir.h vmsdir.h rem Create "makefile" from "makefile.in".
rm -f Makefile makefile.tmp
-copy Makefile.in+deps.mk makefile.tmp
+copy Makefile.in+lisp.mk+deps.mk makefile.tmp
sed -f ../msdos/sed1v2.inp <makefile.tmp >Makefile
rm -f makefile.tmp
|