github-repos/make
1
0
Fork 0
mirror of https://github.com/mirror/make.git synced 2024-12-28 22:00:33 +08:00
Code Issues Packages Projects Releases Wiki Activity

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

Browse Source 
Copyright-paperwork-exempt: yes
This commit is contained in:
Piotr Jaroszynski 2014-05-15 11:40:27 -07:00 committed by Paul Smith
parent e44d6a12bb
commit 8d577c2ff4
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
output.c
View File

@ -240,7 +240,11 @@ pump_from_tmp (int from, FILE *to)
if (len <= 0)
break;
if (fwrite (buffer, len, 1, to) < 1)
{
perror ("fwrite()");
break;
}
fflush (to);
}
#ifdef WINDOWS32