annotate msdos/sed2.inp @ 6757:770fe370479b

(show_mouse_face): Change the mouse cursor accordingly.
author Fred Pierresteguy <F.Pierresteguy@frcl.bull.fr>
date Fri, 08 Apr 1994 15:57:24 +0000
parents 843d408019c8
children 6e219f77e69e
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
5219
843d408019c8 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1 # ----------------------------------------------------------------------
843d408019c8 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
2 # Configuration script for config.h
843d408019c8 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
3 # ----------------------------------------------------------------------
843d408019c8 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
4 /^#undef LISP_FLOAT_TYPE *$/s/undef/define/
843d408019c8 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
5 /^#undef GNU_MALLOC *$/s/undef/define/
843d408019c8 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
6 /^#undef REL_ALLOC *$/s/undef/define/
843d408019c8 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
7 /^#undef HAVE_SYS_TIMEB_H *$/s/undef/define/
843d408019c8 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
8 /^#undef HAVE_SYS_TIME_H *$/s/undef/define/
843d408019c8 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
9 # /^#undef HAVE_UNISTD_H *$/s/undef/define/
843d408019c8 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
10 /^#undef HAVE_GETTIMEOFDAY *$/s/undef/define/
843d408019c8 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
11 /^#undef HAVE_GETHOSTNAME *$/s/undef/define/
843d408019c8 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
12 /^#undef HAVE_DUP2 *$/s/undef/define/
843d408019c8 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
13 /^#undef HAVE_TM_ZONE *$/s/undef/define/
843d408019c8 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
14 /^#undef TM_IN_SYS_TIME *$/s/undef/define/
843d408019c8 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
15 /^#undef TIME_WITH_SYS_TIME *$/s/undef/define/
843d408019c8 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
16 /^#undef HAVE_RENAME *$/s/undef/define/
843d408019c8 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
17 /^#undef HAVE_CLOSEDIR *$/s/undef/define/
843d408019c8 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
18 /^#undef HAVE_RANDOM *$/s/undef/define/
843d408019c8 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
19 /^#undef HAVE_MKDIR *$/s/undef/define/
843d408019c8 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
20 /^#undef HAVE_RMDIR *$/s/undef/define/
843d408019c8 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
21 /^#undef HAVE_BCOPY *$/s/undef/define/
843d408019c8 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
22 /^#undef HAVE_FREXP *$/s/undef/define/
843d408019c8 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
23 /^#undef HAVE_FTIME *$/s/undef/define/
843d408019c8 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
24 s/^#define USER_FULL_NAME .*$/#define USER_FULL_NAME (getenv ("NAME"))/
843d408019c8 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
25 s/^#undef STACK_DIRECTION *$/#define STACK_DIRECTION -1/
843d408019c8 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
26 s!^#undef config_opsysfile *$!#define config_opsysfile "s/msdos.h"!
843d408019c8 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
27 s!^#undef config_machfile *$!#define config_machfile "m/dos386.h"!