From 36671f080e8f66de73b0950a64157b07c2527078 Mon Sep 17 00:00:00 2001
From: "Richard M. Stallman" <rms@gnu.org>
Date: Mon, 13 May 1996 18:28:09 +0000
Subject: Set BUILD_TYPE and INSTALL_DIR before calling make; undo settings
 afterwards.

---
 nt/install.bat | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/nt/install.bat b/nt/install.bat
index 6a8b4deee4c..d506efe9d2f 100755
--- a/nt/install.bat
+++ b/nt/install.bat
@@ -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=
-- 
cgit v1.2.1