X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Foutput%2Fjournal.c;h=ef50285ea4ee1b8ba04624a37447daac433f16bb;hb=7154ba03964f5edfc321b7625a3ed3524d54a38c;hp=33fbaf2b742121adf3b7765dc15c3fe9310319a4;hpb=fdcc4b6875ccdbf7bd01bc401e87afbeb71c2bfd;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);
 }