summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGeoff Voelker <voelker@cs.washington.edu>1996-05-03 18:19:57 +0000
committerGeoff Voelker <voelker@cs.washington.edu>1996-05-03 18:19:57 +0000
commita3d351a317fc66608915147b390acbee5e41ab71 (patch)
tree6685c7ace5e5cb7f826c694c55a65b0e3295812d
parentc6e6368426afa91c2cfdc88326efefca3076e430 (diff)
Check if INSTALL_DIR is passed as an argument.
,
-rwxr-xr-xnt/install.bat1
1 files changed, 1 insertions, 0 deletions
diff --git a/nt/install.bat b/nt/install.bat
index 997702b34c..c05a06ddbf 100755
--- a/nt/install.bat
+++ b/nt/install.bat
@@ -1 +1,2 @@
nmake -f makefile.nt install
+@if not (%1) == () set INSTALL_DIR=%1