# HG changeset patch
# User Glenn Morris <rgm@gnu.org>
# Date 1200369031 0
# Node ID 80debe5b2fa885d136bfd30b30cc4ef45e2b20f9
# Parent  72c1548afeedc5fe4af570dc6f8d43d5e9663b3e
Revert 2008-01-13 change: this is a generated file.

diff -r 72c1548afeed -r 80debe5b2fa8 src/config.in
--- a/src/config.in	Tue Jan 15 03:44:41 2008 +0000
+++ b/src/config.in	Tue Jan 15 03:50:31 2008 +0000
@@ -837,6 +837,13 @@
 /* Define to 1 if your <sys/time.h> declares `struct tm'. */
 #undef TM_IN_SYS_TIME
 
+/* Define to 1 for Encore UMAX. */
+#undef UMAX
+
+/* Define to 1 for Encore UMAX 4.3 that has <inq_status/cpustats.h> instead of
+   <sys/cpustats.h>. */
+#undef UMAX4_3
+
 /* Define to the unexec source file name. */
 #undef UNEXEC_SRC