summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGeoff Voelker <voelker@cs.washington.edu>1996-05-03 19:10:16 +0000
committerGeoff Voelker <voelker@cs.washington.edu>1996-05-03 19:10:16 +0000
commit138d2349f3ec125357d8ceb516702328dbe01bfd (patch)
treee9b9e7f56e7172eec4e0f45646a060d64b92c1db
parentb5e9eb93c805dd6b85c7b28584322b4fcaa613b0 (diff)
Allow for optimized build.
-rwxr-xr-xnt/install.bat4
1 files changed, 4 insertions, 0 deletions
diff --git a/nt/install.bat b/nt/install.bat
index c05a06ddbf..6a8b4deee4 100755
--- a/nt/install.bat
+++ b/nt/install.bat
@@ -1,2 +1,6 @@
nmake -f makefile.nt install
+@echo off
+if (%1) == (speed) set BUILD_TYPE=spd
+if (%1) == (speed) shift
+if not (%1) == () set INSTALL_DIR=%1
@if not (%1) == () set INSTALL_DIR=%1