annotate msdos/sed2.inp @ 8296:b2b493c007ff

(imenu-choose-buffer-index): Use last-nonmenu-event to decide on mouse vs non-mouse. (imenu-progress-message): New arg prevpos. All callers changed. Don't print messages too frequently.
author Richard M. Stallman <rms@gnu.org>
date Wed, 20 Jul 1994 07:41:16 +0000
parents 6a072f705d7d
children b36d5e88cccc
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
7204
6e219f77e69e We have bcmp. Configuration is "msdos". Get rid of ^Ms.
Richard M. Stallman <rms@gnu.org>
parents: 5219
diff changeset
1 # -sed2.inp-------------------------------------------------------------
7230
0dc95caa2188 Identify the file being patched as src/...
Richard M. Stallman <rms@gnu.org>
parents: 7204
diff changeset
2 # Configuration script for src/config.h
7204
6e219f77e69e We have bcmp. Configuration is "msdos". Get rid of ^Ms.
Richard M. Stallman <rms@gnu.org>
parents: 5219
diff changeset
3 # ----------------------------------------------------------------------
6e219f77e69e We have bcmp. Configuration is "msdos". Get rid of ^Ms.
Richard M. Stallman <rms@gnu.org>
parents: 5219
diff changeset
4 /^#undef LISP_FLOAT_TYPE *$/s/undef/define/
6e219f77e69e We have bcmp. Configuration is "msdos". Get rid of ^Ms.
Richard M. Stallman <rms@gnu.org>
parents: 5219
diff changeset
5 /^#undef GNU_MALLOC *$/s/undef/define/
6e219f77e69e We have bcmp. Configuration is "msdos". Get rid of ^Ms.
Richard M. Stallman <rms@gnu.org>
parents: 5219
diff changeset
6 /^#undef REL_ALLOC *$/s/undef/define/
6e219f77e69e We have bcmp. Configuration is "msdos". Get rid of ^Ms.
Richard M. Stallman <rms@gnu.org>
parents: 5219
diff changeset
7 /^#undef HAVE_SYS_TIMEB_H *$/s/undef/define/
6e219f77e69e We have bcmp. Configuration is "msdos". Get rid of ^Ms.
Richard M. Stallman <rms@gnu.org>
parents: 5219
diff changeset
8 /^#undef HAVE_SYS_TIME_H *$/s/undef/define/
6e219f77e69e We have bcmp. Configuration is "msdos". Get rid of ^Ms.
Richard M. Stallman <rms@gnu.org>
parents: 5219
diff changeset
9 # /^#undef HAVE_UNISTD_H *$/s/undef/define/
6e219f77e69e We have bcmp. Configuration is "msdos". Get rid of ^Ms.
Richard M. Stallman <rms@gnu.org>
parents: 5219
diff changeset
10 /^#undef HAVE_GETTIMEOFDAY *$/s/undef/define/
6e219f77e69e We have bcmp. Configuration is "msdos". Get rid of ^Ms.
Richard M. Stallman <rms@gnu.org>
parents: 5219
diff changeset
11 /^#undef HAVE_GETHOSTNAME *$/s/undef/define/
6e219f77e69e We have bcmp. Configuration is "msdos". Get rid of ^Ms.
Richard M. Stallman <rms@gnu.org>
parents: 5219
diff changeset
12 /^#undef HAVE_DUP2 *$/s/undef/define/
6e219f77e69e We have bcmp. Configuration is "msdos". Get rid of ^Ms.
Richard M. Stallman <rms@gnu.org>
parents: 5219
diff changeset
13 /^#undef HAVE_TM_ZONE *$/s/undef/define/
6e219f77e69e We have bcmp. Configuration is "msdos". Get rid of ^Ms.
Richard M. Stallman <rms@gnu.org>
parents: 5219
diff changeset
14 /^#undef TM_IN_SYS_TIME *$/s/undef/define/
6e219f77e69e We have bcmp. Configuration is "msdos". Get rid of ^Ms.
Richard M. Stallman <rms@gnu.org>
parents: 5219
diff changeset
15 /^#undef TIME_WITH_SYS_TIME *$/s/undef/define/
6e219f77e69e We have bcmp. Configuration is "msdos". Get rid of ^Ms.
Richard M. Stallman <rms@gnu.org>
parents: 5219
diff changeset
16 /^#undef HAVE_RENAME *$/s/undef/define/
6e219f77e69e We have bcmp. Configuration is "msdos". Get rid of ^Ms.
Richard M. Stallman <rms@gnu.org>
parents: 5219
diff changeset
17 /^#undef HAVE_CLOSEDIR *$/s/undef/define/
6e219f77e69e We have bcmp. Configuration is "msdos". Get rid of ^Ms.
Richard M. Stallman <rms@gnu.org>
parents: 5219
diff changeset
18 /^#undef HAVE_RANDOM *$/s/undef/define/
6e219f77e69e We have bcmp. Configuration is "msdos". Get rid of ^Ms.
Richard M. Stallman <rms@gnu.org>
parents: 5219
diff changeset
19 /^#undef HAVE_MKDIR *$/s/undef/define/
6e219f77e69e We have bcmp. Configuration is "msdos". Get rid of ^Ms.
Richard M. Stallman <rms@gnu.org>
parents: 5219
diff changeset
20 /^#undef HAVE_RMDIR *$/s/undef/define/
6e219f77e69e We have bcmp. Configuration is "msdos". Get rid of ^Ms.
Richard M. Stallman <rms@gnu.org>
parents: 5219
diff changeset
21 /^#undef HAVE_BCMP *$/s/undef/define/
6e219f77e69e We have bcmp. Configuration is "msdos". Get rid of ^Ms.
Richard M. Stallman <rms@gnu.org>
parents: 5219
diff changeset
22 /^#undef HAVE_BCOPY *$/s/undef/define/
6e219f77e69e We have bcmp. Configuration is "msdos". Get rid of ^Ms.
Richard M. Stallman <rms@gnu.org>
parents: 5219
diff changeset
23 /^#undef HAVE_FREXP *$/s/undef/define/
6e219f77e69e We have bcmp. Configuration is "msdos". Get rid of ^Ms.
Richard M. Stallman <rms@gnu.org>
parents: 5219
diff changeset
24 /^#undef HAVE_FTIME *$/s/undef/define/
8249
6a072f705d7d (HAVE_STRERROR): Define.
Richard M. Stallman <rms@gnu.org>
parents: 8197
diff changeset
25 /^#undef HAVE_STRERROR *$/s/undef/define/
7204
6e219f77e69e We have bcmp. Configuration is "msdos". Get rid of ^Ms.
Richard M. Stallman <rms@gnu.org>
parents: 5219
diff changeset
26 s/^#define USER_FULL_NAME .*$/#define USER_FULL_NAME (getenv ("NAME"))/
6e219f77e69e We have bcmp. Configuration is "msdos". Get rid of ^Ms.
Richard M. Stallman <rms@gnu.org>
parents: 5219
diff changeset
27 s/^#undef STACK_DIRECTION *$/#define STACK_DIRECTION -1/
7596
1405fe5b05e0 Reflect change from CONFIGURATION to EMACS_CONFIGURATION.
Richard M. Stallman <rms@gnu.org>
parents: 7230
diff changeset
28 s/^#undef EMACS_CONFIGURATION *$/#define EMACS_CONFIGURATION "i386-unknown-msdos"/
7204
6e219f77e69e We have bcmp. Configuration is "msdos". Get rid of ^Ms.
Richard M. Stallman <rms@gnu.org>
parents: 5219
diff changeset
29 s!^#undef config_opsysfile *$!#define config_opsysfile "s/msdos.h"!
8197
d6a441681fb4 Use "m/intel386" instead of "m/dos386.h".
Richard M. Stallman <rms@gnu.org>
parents: 7596
diff changeset
30 s!^#undef config_machfile *$!#define config_machfile "m/intel386.h"!