# HG changeset patch # User Gerd Moellmann # Date 943310655 0 # Node ID b2da8183c301d97b8166d7b70a44ade20d1a5e87 # Parent 0733513fa901797fd9805e1c944c5e6ec3afba1e Add CRs. diff -r 0733513fa901 -r b2da8183c301 nt/install.bat --- a/nt/install.bat Mon Nov 22 22:35:45 1999 +0000 +++ b/nt/install.bat Mon Nov 22 22:44:15 1999 +0000 @@ -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=