annotate nt/install.bat @ 48199:087f372af5bb

*** empty log message ***
author Markus Rost <rost@math.uni-bielefeld.de>
date Thu, 07 Nov 2002 17:23:00 +0000
parents b2da8183c301
children 695cf19ef79e
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
26550
b2da8183c301 Add CRs.
Gerd Moellmann <gerd@gnu.org>
parents: 26548
diff changeset
1 @echo off
b2da8183c301 Add CRs.
Gerd Moellmann <gerd@gnu.org>
parents: 26548
diff changeset
2 if (%1) == (speed) set BUILD_TYPE=spd
b2da8183c301 Add CRs.
Gerd Moellmann <gerd@gnu.org>
parents: 26548
diff changeset
3 if (%1) == (speed) shift
b2da8183c301 Add CRs.
Gerd Moellmann <gerd@gnu.org>
parents: 26548
diff changeset
4 if not (%1) == () set INSTALL_DIR=%1
b2da8183c301 Add CRs.
Gerd Moellmann <gerd@gnu.org>
parents: 26548
diff changeset
5 if not (%1) == () shift
b2da8183c301 Add CRs.
Gerd Moellmann <gerd@gnu.org>
parents: 26548
diff changeset
6 nmake -f makefile.nt install %1 %2 %3 %4 %5 %6 %7 %8 %9
b2da8183c301 Add CRs.
Gerd Moellmann <gerd@gnu.org>
parents: 26548
diff changeset
7 set INSTALL_DIR=
b2da8183c301 Add CRs.
Gerd Moellmann <gerd@gnu.org>
parents: 26548
diff changeset
8 set BUILD_TYPE=