annotate nt/install.bat @ 32366:40d8b29df57e

(desktop-modes-not-to-save): New var. (desktop-save-buffer-p): Use it. Also, obey desktop-buffers-not-to-save even for non-file buffers. (desktop-buffer-file): Use pop-to-buffer if switch-to-buffer fails.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Tue, 10 Oct 2000 16:42:37 +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=