# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 943310124 0
# Node ID c2e042c065a05931a0383399382fe5fc342ec31e
# Parent  5109bf4601e1eb4f9d830fedda41fddfec7bfec3
Pass on command line arguments to make.

diff -r 5109bf4601e1 -r c2e042c065a0 nt/install.bat
--- a/nt/install.bat	Mon Nov 22 17:38:21 1999 +0000
+++ b/nt/install.bat	Mon Nov 22 22:35:24 1999 +0000
@@ -1,7 +1,8 @@
-@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
+if not (%1) == () shift
+nmake -f makefile.nt install %1 %2 %3 %4 %5 %6 %7 %8 %9
+set INSTALL_DIR=
+set BUILD_TYPE=