annotate msdos/sed2.inp @ 8010:e199eda519b5

Rearrange the edit and file menus, and add separators.
author Richard M. Stallman <rms@gnu.org>
date Wed, 22 Jun 1994 20:37:41 +0000
parents 1405fe5b05e0
children d6a441681fb4
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/
6e219f77e69e We have bcmp. Configuration is "msdos". Get rid of ^Ms.
Richard M. Stallman <rms@gnu.org>
parents: 5219
diff changeset
25 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
26 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
27 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
28 s!^#undef config_opsysfile *$!#define config_opsysfile "s/msdos.h"!
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_machfile *$!#define config_machfile "m/dos386.h"!