From 69c46fcf8b13294c88ef0f43da2c8d383f11854b Mon Sep 17 00:00:00 2001
From: "Richard M. Stallman" <rms@gnu.org>
Date: Mon, 13 May 1996 18:28:09 +0000
Subject: [PATCH] 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=
-- 
2.39.2