X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fmake-file.c;h=63792e90b4a960b406493131b63e73b4f2e86cf7;hb=df291f0446ae11b5a3c788a06ee73eb9ac877ca5;hp=a9e750f95e331ed5db57477bc53673272e2447e6;hpb=be98214655822c442802194b3e374b7a98720ac6;p=pspp-builds.git

diff --git a/src/data/make-file.c b/src/data/make-file.c
index a9e750f9..63792e90 100644
--- a/src/data/make-file.c
+++ b/src/data/make-file.c
@@ -228,7 +228,6 @@ unlink_replace_files (void)
       /* We don't free_replace_file(RF) because calling free is unsafe
          from an asynchronous signal handler. */
       unlink (rf->tmp_name);
-      fflush (stdout);
     }
   unblock_fatal_signals ();
 }