diff options
| author | Andrew Innes <andrewi@gnu.org> | 1998-11-13 14:08:07 +0000 |
|---|---|---|
| committer | Andrew Innes <andrewi@gnu.org> | 1998-11-13 14:08:07 +0000 |
| commit | 8f3e53fc603fa2c570b39b030a58eb99fa59a61f (patch) | |
| tree | 9b06ba0bf3171c69438a47364afe3a3b5b243a53 | |
| parent | 833eadc27c5d6c03425c7f3eddde43cec4a48251 (diff) | |
Convert to DOS format.
| -rwxr-xr-x | nt/install.bat | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/nt/install.bat b/nt/install.bat index d506efe9d2..314f4123be 100755 --- a/nt/install.bat +++ b/nt/install.bat @@ -1,7 +1,7 @@ -@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
+nmake -f makefile.nt install
+set INSTALL_DIR=
+set BUILD_TYPE=
|