annotate nt/install.bat @ 16306:450f26426101 libc-960925 libc-960926 libc-960927 libc-960928 libc-960929 libc-961001 libc-961004 libc-961005 libc-961006 libc-961007 libc-961008 libc-961009 libc-961010 libc-961011 libc-961012 libc-961013 libc-961014 libc-961015 libc-961016 libc-961017 libc-961018 libc-961019 libc-961020 libc-961021 libc-961022 libc-961023 libc-961024 libc-961025 libc-961026 libc-961027 libc-961028

(-vxsim*): New operating system.
author Richard Kenner <kenner@gnu.org>
date Tue, 24 Sep 1996 02:44:17 +0000
parents afc59ce2842a
children cc0d47241404
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
15157
170295263e96 Allow for optimized build.
Geoff Voelker <voelker@cs.washington.edu>
parents: 15131
diff changeset
1 @echo off
170295263e96 Allow for optimized build.
Geoff Voelker <voelker@cs.washington.edu>
parents: 15131
diff changeset
2 if (%1) == (speed) set BUILD_TYPE=spd
170295263e96 Allow for optimized build.
Geoff Voelker <voelker@cs.washington.edu>
parents: 15131
diff changeset
3 if (%1) == (speed) shift
170295263e96 Allow for optimized build.
Geoff Voelker <voelker@cs.washington.edu>
parents: 15131
diff changeset
4 if not (%1) == () set INSTALL_DIR=%1
15231
afc59ce2842a Set BUILD_TYPE and INSTALL_DIR before calling make;
Richard M. Stallman <rms@gnu.org>
parents: 15157
diff changeset
5 nmake -f makefile.nt install
afc59ce2842a Set BUILD_TYPE and INSTALL_DIR before calling make;
Richard M. Stallman <rms@gnu.org>
parents: 15157
diff changeset
6 set INSTALL_DIR=
afc59ce2842a Set BUILD_TYPE and INSTALL_DIR before calling make;
Richard M. Stallman <rms@gnu.org>
parents: 15157
diff changeset
7 set BUILD_TYPE=