# HG changeset patch
# User Mario de Sousa <msousa@fe.up.pt>
# Date 1303202219 -3600
# Node ID 9cf0d701d2112005f66f472b2dd23d422d15b0d5
# Parent  e7ce7c6bbb5d72f14b49568d614045baf00acc16
Adding fflush capabilities. It is sometimes usefull when debuging the compiler...

diff -r e7ce7c6bbb5d -r 9cf0d701d211 stage4/stage4.cc
--- a/stage4/stage4.cc	Fri Apr 15 09:45:27 2011 +0100
+++ b/stage4/stage4.cc	Tue Apr 19 09:36:59 2011 +0100
@@ -93,6 +93,10 @@
   }
 }
 
+void stage4out_c::flush(void) {
+  out->flush();
+}
+
 void stage4out_c::enable_output(void) {
   allow_output = true;
 }
diff -r e7ce7c6bbb5d -r 9cf0d701d211 stage4/stage4.hh
--- a/stage4/stage4.hh	Fri Apr 15 09:45:27 2011 +0100
+++ b/stage4/stage4.hh	Tue Apr 19 09:36:59 2011 +0100
@@ -48,7 +48,9 @@
     stage4out_c(std::string indent_level = "  ");
     stage4out_c(const char *dir, const char *radix, const char *extension, std::string indent_level = "  ");
     ~stage4out_c(void);
-
+    
+    void flush(void);
+    
     void enable_output(void);
     void disable_output(void);