fflush() the trace stream on each call

diff --git a/src/main.c b/src/main.c
index ec84c5ff39df2f7d1f8837e9522d759eb9d27550..fb43e8001c20dacb4d6da0e49e80c2b144bd3a5a 100644 (file)
--- a/src/main.c
+++ b/src/main.c
@@ -2149,6 +2149,7 @@ void dump(const char *text,
     }
     fputc('\n', stream); /* newline */
   }
+  fflush(stream);
 }
 
 static