# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 832012089 0
# Node ID afc59ce2842aa58b88ccd50da25348382c9c9a73
# Parent  307b7c77a5e5abd52ba570cb382a3d6644dd7c7f
Set BUILD_TYPE and INSTALL_DIR before calling make;
undo settings afterwards.

diff -r 307b7c77a5e5 -r afc59ce2842a nt/install.bat
--- a/nt/install.bat	Mon May 13 16:25:13 1996 +0000
+++ b/nt/install.bat	Mon May 13 18:28:09 1996 +0000
@@ -1,6 +1,7 @@
-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
+nmake -f makefile.nt install
+set INSTALL_DIR=
+set BUILD_TYPE=