Mercurial > emacs
annotate nt/install.bat @ 18056:f8591273bf79
(widget-default-format-handler): Don't use push.
(widget-push-button-value-create): Likewise.
(widget-group-value-create): Likewise.
(widget-sublist): New function.
(widget-item-match-inline): Use widget-subllist.
(widget-remove-if): New function.
(widget-choose): Use widget-remove-if.
author | Richard M. Stallman <rms@gnu.org> |
---|---|
date | Sat, 31 May 1997 01:37:15 +0000 |
parents | afc59ce2842a |
children | cc0d47241404 |
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= |