diff options
author | Gerd Moellmann <gerd@gnu.org> | 1999-11-22 22:44:15 +0000 |
---|---|---|
committer | Gerd Moellmann <gerd@gnu.org> | 1999-11-22 22:44:15 +0000 |
commit | f67a1f3e698075f3e09a4c2ba88299910c398246 (patch) | |
tree | 6ba0b782ddf8dfaade4df701b6ed68cd38545ce6 | |
parent | 2c9b8e9d189b59e8e94029d74196509a41f45414 (diff) |
Add CRs.
-rwxr-xr-x | nt/install.bat | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/nt/install.bat b/nt/install.bat index b74ef7de97..be0e9045e5 100755 --- a/nt/install.bat +++ b/nt/install.bat @@ -1,8 +1,8 @@ -@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= +@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=
|