Adding fflush capabilities. It is sometimes usefull when debuging the compiler...
--- 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;
}
--- 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);