2007-10-17 Wojciech Polak <polak@gnu.org>

[bison.git] / src / main.c

diff --git a/src/main.c b/src/main.c
index 4c66c36703d82e386958619f417407780a0b9581..d979bae8df777869ee8390a74f171ff5b4f2f21c 100644 (file)
--- a/src/main.c
+++ b/src/main.c
@@ -40,6 +40,7 @@
 #include "output.h"
 #include "print.h"
 #include "print_graph.h"
+#include "print-xml.h"
 #include "reader.h"
 #include "reduce.h"
 #include "scan-code.h"
@@ -151,6 +152,14 @@ main (int argc, char *argv[])
       timevar_pop (TV_GRAPH);
     }
 
+  /* Output xml.  */
+  if (xml_flag)
+    {
+      timevar_push (TV_XML);
+      print_xml ();
+      timevar_pop (TV_XML);
+    }
+
   /* Stop if there were errors, to avoid trashing previous output
      files.  */
   if (complaint_issued)