annotate nt/ftime.bat @ 21003:fd244f615d9d
(info): Always switch to buffer *info* even if
current buffer is in Info mode.
author |
Richard M. Stallman <rms@gnu.org> |
date |
Fri, 27 Feb 1998 23:30:11 +0000 |
parents |
9bfe8a6b9575 |
children |
7524313da163 |
rev |
line source |
19236
Geoff Voelker <voelker@cs.washington.edu>
parents:
diff
changeset
|
1 @echo off
|
Geoff Voelker <voelker@cs.washington.edu>
parents:
diff
changeset
|
2 set emacs_dir=c:\emacs
|
Geoff Voelker <voelker@cs.washington.edu>
parents:
diff
changeset
|
3 prep /om /ft %emacs_dir%\src\obj\i386\emacs
|
Geoff Voelker <voelker@cs.washington.edu>
parents:
diff
changeset
|
4 if errorlevel 1 goto done
|
Geoff Voelker <voelker@cs.washington.edu>
parents:
diff
changeset
|
5 profile %emacs_dir%\src\obj\i386\emacs %1 %2 %3 %4 %5 %6 %7 %8 %9
|
Geoff Voelker <voelker@cs.washington.edu>
parents:
diff
changeset
|
6 if errorlevel 1 goto done
|
Geoff Voelker <voelker@cs.washington.edu>
parents:
diff
changeset
|
7 prep /m %emacs_dir%\src\obj\i386\emacs
|
Geoff Voelker <voelker@cs.washington.edu>
parents:
diff
changeset
|
8 if errorlevel 1 goto done
|
Geoff Voelker <voelker@cs.washington.edu>
parents:
diff
changeset
|
9 plist %emacs_dir%\src\obj\i386\emacs > info/emacs.prof
|
Geoff Voelker <voelker@cs.washington.edu>
parents:
diff
changeset
|
10 :done
|