* lib/libiberty.h: New.

[bison.git] / src / main.c

diff --git a/src/main.c b/src/main.c
index c5f78d10e54794c41f9ac9ffd47374c90dc99702..5a0fb45825027bec735d97dbf48495117482fe98 100644 (file)
--- a/src/main.c
+++ b/src/main.c
@@ -21,6 +21,7 @@
 
 
 #include "system.h"
+#include "bitset_stats.h"
 #include "bitset.h"
 #include "getargs.h"
 #include "symtab.h"
@@ -50,11 +51,12 @@ main (int argc, char *argv[])
   bindtextdomain (PACKAGE, LOCALEDIR);
   textdomain (PACKAGE);
 
-  bitset_stats_init ();
-
   lineno = 0;
   getargs (argc, argv);
 
+  if (trace_flag)
+    bitset_stats_enable ();
+
   muscle_init ();
 
   /* Read the input.  Copy some parts of it to FGUARD, FACTION, FTABLE
@@ -122,5 +124,8 @@ main (int argc, char *argv[])
     alloca (0);
 #endif
 
+    if (trace_flag)
+      bitset_stats_dump (stderr);
+
   return complain_message_count ? EXIT_FAILURE : EXIT_SUCCESS;
 }