# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 827085638 0
# Node ID b2347a3e9a373654a63211d3d5a5b33ebc23dc93
# Parent  ece1210e739f9328a2dae6cbe693bc819ea0d714
(HAVE_VERSION_H): Add #undef.

diff -r ece1210e739f -r b2347a3e9a37 src/config.in
--- a/src/config.in	Sun Mar 17 17:58:42 1996 +0000
+++ b/src/config.in	Sun Mar 17 18:00:38 1996 +0000
@@ -117,6 +117,8 @@
 #undef HAVE_SYS_TIME_H
 #undef HAVE_UNISTD_H
 #undef HAVE_UTIME_H
+/* This indicates linux/version.h.  */
+#undef HAVE_VERSION_H
 #undef STDC_HEADERS
 #undef TIME_WITH_SYS_TIME