changeset 15131:1cc4d788d272

Check if INSTALL_DIR is passed as an argument. ,
author Geoff Voelker <voelker@cs.washington.edu>
date Fri, 03 May 1996 18:19:57 +0000
parents 493eee829532
children c89db56c289b
files nt/install.bat
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/nt/install.bat	Fri May 03 18:19:05 1996 +0000
+++ b/nt/install.bat	Fri May 03 18:19:57 1996 +0000
@@ -1,1 +1,2 @@
 nmake -f makefile.nt install
+@if not (%1) == () set INSTALL_DIR=%1