# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 769637849 0
# Node ID 8abb5c77cc2aa0cc8b42082a388f863270b014cc
# Parent  89a1e55c615d391e915c440af3477482138e458b
(HAVE_GETTIMEOFDAY, HAVE_MKDIR, HAVE_RMDIR)
(HAVE_XSCREENNUMBEROFSCREEN): Define these if not already defined.

diff -r 89a1e55c615d -r 8abb5c77cc2a src/s/gnu-linux.h
--- 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