# HG changeset patch
# User Geoff Voelker <voelker@cs.washington.edu>
# Date 831150616 0
# Node ID 170295263e968452ca26627dbba7ca8adf24b799
# Parent  69941576c244b39ce2f7536d81b3ed33e518179d
Allow for optimized build.

diff -r 69941576c244 -r 170295263e96 nt/install.bat
--- a/nt/install.bat	Fri May 03 19:09:53 1996 +0000
+++ b/nt/install.bat	Fri May 03 19:10:16 1996 +0000
@@ -1,2 +1,6 @@
 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