`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.
This commit is contained in:
Akim Demaille
2002-07-30 08:15:04 +00:00
parent 640748eecf
commit caf23d249c
3 changed files with 34 additions and 10 deletions

View File

@@ -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> 2002-07-29 Akim Demaille <akim@epita.fr>
* src/state.h, src/state.c (transitions_t): Holds state_t*'s, not * src/state.h, src/state.c (transitions_t): Holds state_t*'s, not

View File

@@ -78,7 +78,8 @@ AC_DEFINE([_GNU_SOURCE],1,[Define to 1 for GNU C library extensions.])
# Checks for header files. # Checks for header files.
AC_HEADER_STDC 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. # Checks for compiler characteristics.

View File

@@ -39,24 +39,38 @@
#include "conflicts.h" #include "conflicts.h"
#include "print_graph.h" #include "print_graph.h"
#include "muscle_tab.h" #include "muscle_tab.h"
#include <malloc.h>
#include <sys/times.h>
/* The name this program was run with, for messages. */ /* The name this program was run with, for messages. */
char *program_name; 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 static void
stage (const char *title) stage (const char *title)
{ {
struct mallinfo minfo = mallinfo (); #if HAVE_MALLOC_H & HAVE_SYS_TIMES_H
struct tms tinfo; if (trace_flag)
times (&tinfo); {
fprintf (stderr, "STAGE: %30s: %9d (%9d): %ldu %lds\n", struct mallinfo minfo = mallinfo ();
title, struct tms tinfo;
minfo.uordblks, minfo.arena, times (&tinfo);
tinfo.tms_utime, tinfo.tms_stime); fprintf (stderr, "STAGE: %30s: %9d (%9d): %ldu %lds\n",
title,
minfo.uordblks, minfo.arena,
tinfo.tms_utime, tinfo.tms_stime);
}
#endif
} }
int int
main (int argc, char *argv[]) main (int argc, char *argv[])
{ {