changeset 7632:8abb5c77cc2a

(HAVE_GETTIMEOFDAY, HAVE_MKDIR, HAVE_RMDIR) (HAVE_XSCREENNUMBEROFSCREEN): Define these if not already defined.
author Richard M. Stallman <rms@gnu.org>
date Sun, 22 May 1994 20:17:29 +0000
parents 89a1e55c615d
children ba9345d99767
files src/s/gnu-linux.h
diffstat 1 files changed, 16 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/src/s/gnu-linux.h	Sun May 22 20:17:15 1994 +0000
+++ b/src/s/gnu-linux.h	Sun May 22 20:17:29 1994 +0000
@@ -239,3 +239,19 @@
 #define A_TEXT_SEEK(hdr) (N_TXTOFF(hdr) + A_TEXT_OFFSET(hdr))
 #define ADJUST_EXEC_HEADER \
   unexec_text_start = N_TXTADDR(ohdr) + A_TEXT_OFFSET(ohdr)
+
+/* In 19.23 and 19.24, configure sometimes fails to define these.
+   It has to do with the fact that configure uses CFLAGS when linking
+   while Makefile.in.in (erroneously) fails to do so when linking temacs.  */
+#ifndef HAVE_GETTIMEOFDAY
+#define HAVE_GETTIMEOFDAY
+#endif
+#ifndef HAVE_MKDIR
+#define HAVE_MKDIR
+#endif
+#ifndef HAVE_RMDIR
+#define HAVE_RMDIR
+#endif
+#ifndef HAVE_XSCREENNUMBEROFSCREEN
+#define HAVE_XSCREENNUMBEROFSCREEN
+#endif