flush the output stream upon dumping the function

diff --git a/ChangeLog b/ChangeLog
index 81c9e624e910adc7214a14923aa24ea37780f9ce..da57e79971e96dd202a7fcfed82c5e2288568c48 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2007-02-12  Aleksey Demakov  <ademakov@gmail.com>
+
+       * jit/jit-dump.c (jit_dump_function): flush the output stream upon
+       dumping the function.
+
 2007-02-10  Klaus Treichel  <ktreichel@web.de>
 
        * jit/jit-function.c: Use the on-demand compilation driver in

diff --git a/jit/jit-dump.c b/jit/jit-dump.c
index 5c3d7b51ba3ddfc94bf5814daa356e1ce1c572bf..0b9334a6476e4407b9d4e054c3292ecb5320f071 100644 (file)
--- a/jit/jit-dump.c
+++ b/jit/jit-dump.c
@@ -892,4 +892,5 @@ void jit_dump_function(FILE *stream, jit_function_t func, const char *name)
 
        /* Output the function footer */
        fprintf(stream, "end\n\n");
+       fflush(stream);
 }