From: Piotr Jaroszynski <pjaroszynski@nvidia.com>
Date: Thu, 15 May 2014 18:40:27 +0000 (-0700)
Subject: * output.c (pump_from_tmp): [SV 42378] Flush the output file regularly.
X-Git-Tag: 4.1~35
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=8d577c2ff43d4808cd5a3754dcfd04549b086044;p=thirdparty%2Fmake.git

* output.c (pump_from_tmp): [SV 42378] Flush the output file regularly.

Copyright-paperwork-exempt: yes
---

diff --git a/output.c b/output.c
index b2584f11..625413b4 100644
--- a/output.c
+++ b/output.c
@@ -240,7 +240,11 @@ pump_from_tmp (int from, FILE *to)
       if (len <= 0)
         break;
       if (fwrite (buffer, len, 1, to) < 1)
-        perror ("fwrite()");
+        {
+          perror ("fwrite()");
+          break;
+        }
+      fflush (to);
     }
 
 #ifdef WINDOWS32