From: Ben Pfaff <blp@cs.stanford.edu>
Date: Fri, 30 Jul 2010 05:09:08 +0000 (-0700)
Subject: make-file: Remove superfluous fflush().
X-Git-Tag: v0.7.6~318
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=acde3ac4c15984258f66e6aa66b911c6b885f43e;p=pspp-builds.git

make-file: Remove superfluous fflush().

Probably introduced during debugging and accidentally left in.
---

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 ();
 }