X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Foutput%2Fjournal.c;h=ef50285ea4ee1b8ba04624a37447daac433f16bb;hb=c02bf21b2dfed21e2ff8648b388fa016a6797b63;hp=33fbaf2b742121adf3b7765dc15c3fe9310319a4;hpb=f1e588b2d560aca9740fa6ee279e3e9aab335b5b;p=pspp-builds.git

diff --git a/src/output/journal.c b/src/output/journal.c
index 33fbaf2b..ef50285e 100644
--- a/src/output/journal.c
+++ b/src/output/journal.c
@@ -98,4 +98,5 @@ journal_write (bool prefix, const char *line)
   fputs (line, journal_file);
   if (strchr (line, '\n') == NULL)
     putc ('\n', journal_file);
+  fflush (journal_file);
 }