From 0899f746307013cfbaae142ccec6e340e2c0589a Mon Sep 17 00:00:00 2001 From: Aleksey Demakov Date: Sun, 11 Feb 2007 22:54:25 +0000 Subject: [PATCH] flush the output stream upon dumping the function --- ChangeLog | 5 +++++ jit/jit-dump.c | 1 + 2 files changed, 6 insertions(+) diff --git a/ChangeLog b/ChangeLog index 81c9e62..da57e79 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2007-02-12 Aleksey Demakov + + * jit/jit-dump.c (jit_dump_function): flush the output stream upon + dumping the function. + 2007-02-10 Klaus Treichel * 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); } -- 2.47.3