changeset 15231:afc59ce2842a

Set BUILD_TYPE and INSTALL_DIR before calling make; undo settings afterwards.
author Richard M. Stallman <rms@gnu.org>
date Mon, 13 May 1996 18:28:09 +0000
parents 307b7c77a5e5
children 4c4924843e34
files nt/install.bat
diffstat 1 files changed, 3 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- 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=