# HG changeset patch
# User Karl Heuer <kwzh@gnu.org>
# Date 790904210 0
# Node ID 447371955ad0a77e7ae10ef200a5baa9c4005949
# Parent  e0019e0fe562bce5a06f105074cdef06c10a200b
(HAVE_SYS_SELECT_H): Add #undef for configure.

diff -r e0019e0fe562 -r 447371955ad0 src/config.in
--- a/src/config.in	Mon Jan 23 23:35:13 1995 +0000
+++ b/src/config.in	Mon Jan 23 23:36:50 1995 +0000
@@ -106,6 +106,7 @@
 #ifndef _ALL_SOURCE  /* suppress warning if this is pre-defined */
 #undef _ALL_SOURCE
 #endif
+#undef HAVE_SYS_SELECT_H
 #undef HAVE_SYS_TIMEB_H
 #undef HAVE_SYS_TIME_H
 #undef HAVE_UNISTD_H