diff options
| author | Piotr Jaroszynski <pjaroszynski@nvidia.com> | 2014-05-15 11:40:27 -0700 |
|---|---|---|
| committer | Paul Smith <psmith@gnu.org> | 2014-07-07 03:10:17 -0400 |
| commit | 8d577c2ff43d4808cd5a3754dcfd04549b086044 (patch) | |
| tree | 4ce6a5758b5b51373690a7492e6c7372153a2db7 /default.c | |
| parent | e44d6a12bbc6dd62ecf463fd98c031e5f79f4e9b (diff) | |
| download | gunmake-8d577c2ff43d4808cd5a3754dcfd04549b086044.tar.gz | |
* output.c (pump_from_tmp): [SV 42378] Flush the output file regularly.
Copyright-paperwork-exempt: yes
Diffstat (limited to 'default.c')
0 files changed, 0 insertions, 0 deletions