From: Akim Demaille <akim@epita.fr>
Date: Tue, 30 Jul 2002 08:15:04 +0000 (+0000)
Subject: `stage' was accidently included in a previous patch.
X-Git-Tag: BISON-1_49b~63
X-Git-Url: https://git.saurik.com/bison.git/commitdiff_plain/caf23d249cfc6d9a807989cab399cd97496ef45d

`stage' was accidently included in a previous patch.
Initiate its autoconfiscation.
* configure.in: Look for malloc.h and sys/times.h.
* src/main.c (stage): Adjust.
Report only when trace_flag.
---

diff --git a/ChangeLog b/ChangeLog
index 93c1e52b..3c4a350f 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,12 @@
+2002-07-30  Akim Demaille  <akim@epita.fr>
+
+	`stage' was accidently included in a previous patch.
+	Initiate its autoconfiscation.
+
+	* configure.in: Look for malloc.h and sys/times.h.
+	* src/main.c (stage): Adjust.
+	Report only when trace_flag.
+
 2002-07-29  Akim Demaille  <akim@epita.fr>
 
 	* src/state.h, src/state.c (transitions_t): Holds state_t*'s, not
diff --git a/configure.in b/configure.in
index cc45204e..1a5a12ff 100644
--- a/configure.in
+++ b/configure.in
@@ -78,7 +78,8 @@ AC_DEFINE([_GNU_SOURCE],1,[Define to 1 for GNU C library extensions.])
 
 # Checks for header files.
 AC_HEADER_STDC
-AC_CHECK_HEADERS(ctype.h locale.h memory.h stdlib.h string.h unistd.h)
+AC_CHECK_HEADERS([ctype.h locale.h malloc.h memory.h stdlib.h string.h \
+                  sys/times.h unistd.h])
 
 
 # Checks for compiler characteristics.
diff --git a/src/main.c b/src/main.c
index a4a9871f..d6a691af 100644
--- a/src/main.c
+++ b/src/main.c
@@ -39,24 +39,38 @@
 #include "conflicts.h"
 #include "print_graph.h"
 #include "muscle_tab.h"
-#include <malloc.h>
-#include <sys/times.h>
 
 /* The name this program was run with, for messages.  */
 char *program_name;
 
+
+/*--------------------------.
+| Tracking space and time.  |
+`--------------------------*/
+
+#if HAVE_MALLOC_H & HAVE_SYS_TIMES_H
+# include <malloc.h>
+# include <sys/times.h>
+#endif
+
 static void
 stage (const char *title)
 {
-  struct mallinfo minfo = mallinfo ();
-  struct tms tinfo;
-  times (&tinfo);
-  fprintf (stderr, "STAGE: %30s: %9d (%9d): %ldu %lds\n",
-	   title,
-	   minfo.uordblks, minfo.arena,
-	   tinfo.tms_utime, tinfo.tms_stime);
+#if HAVE_MALLOC_H & HAVE_SYS_TIMES_H
+  if (trace_flag)
+    {
+      struct mallinfo minfo = mallinfo ();
+      struct tms tinfo;
+      times (&tinfo);
+      fprintf (stderr, "STAGE: %30s: %9d (%9d): %ldu %lds\n",
+	       title,
+	       minfo.uordblks, minfo.arena,
+	       tinfo.tms_utime, tinfo.tms_stime);
+    }
+#endif
 }
 
+
 int
 main (int argc, char *argv[])
 {