From: Aleksey Demakov <ademakov@gmail.com>
Date: Sun, 11 Feb 2007 22:54:25 +0000 (+0000)
Subject: flush the output stream upon dumping the function
X-Git-Tag: before.move.to.git~154
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=0899f746307013cfbaae142ccec6e340e2c0589a;p=francis%2Flibjit.git

flush the output stream upon dumping the function
---

diff --git a/ChangeLog b/ChangeLog
index 81c9e62..da57e79 100644
--- 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 5c3d7b5..0b9334a 100644
--- 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);
 }