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