]> git.ipfire.org Git - thirdparty/make.git/commit
* output.c (pump_from_tmp): [SV 42378] Flush the output file regularly.
authorPiotr Jaroszynski <pjaroszynski@nvidia.com>
Thu, 15 May 2014 18:40:27 +0000 (11:40 -0700)
committerPaul Smith <psmith@gnu.org>
Mon, 7 Jul 2014 07:10:17 +0000 (03:10 -0400)
commit8d577c2ff43d4808cd5a3754dcfd04549b086044
tree4ce6a5758b5b51373690a7492e6c7372153a2db7
parente44d6a12bbc6dd62ecf463fd98c031e5f79f4e9b
* output.c (pump_from_tmp): [SV 42378] Flush the output file regularly.

Copyright-paperwork-exempt: yes
output.c