diff options
Diffstat (limited to 'nt')
| -rw-r--r-- | nt/ChangeLog | 2 | ||||
| -rwxr-xr-x | nt/install.bat | 15 |
2 files changed, 10 insertions, 7 deletions
diff --git a/nt/ChangeLog b/nt/ChangeLog index ad9748dcec8..6032c6d80c3 100644 --- a/nt/ChangeLog +++ b/nt/ChangeLog @@ -1,5 +1,7 @@ 1999-11-22 Andrew Innes <andrewi@gnu.org> + * install.bat: Pass on command line arguments to make. + * makefile.nt (fast_install): Bring commands up-to-date, and fix typo. diff --git a/nt/install.bat b/nt/install.bat index 314f4123be0..b74ef7de976 100755 --- a/nt/install.bat +++ b/nt/install.bat @@ -1,7 +1,8 @@ -@echo off
-if (%1) == (speed) set BUILD_TYPE=spd
-if (%1) == (speed) shift
-if not (%1) == () set INSTALL_DIR=%1
-nmake -f makefile.nt install
-set INSTALL_DIR=
-set BUILD_TYPE=
+@echo off +if (%1) == (speed) set BUILD_TYPE=spd +if (%1) == (speed) shift +if not (%1) == () set INSTALL_DIR=%1 +if not (%1) == () shift +nmake -f makefile.nt install %1 %2 %3 %4 %5 %6 %7 %8 %9 +set INSTALL_DIR= +set BUILD_TYPE= |