reactos/ninja
1
0
Fork 0
mirror of https://github.com/reactos/ninja.git synced 2025-02-20 03:30:55 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Merge pull request #1361 from ppluciennik/ppluciennik/flush_log

Browse Source 
Flush changes into .ninja_log right away.
This commit is contained in:
Nico Weber 2018-04-05 12:12:02 -04:00 committed by GitHub
commit 5d43e74571
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/build_log.cc
View File

@ -167,6 +167,9 @@ bool BuildLog::RecordCommand(Edge* edge, int start_time, int end_time,
if (log_file_) {
if (!WriteEntry(log_file_, *log_entry))
return false;
if (fflush(log_file_) != 0) {
return false;
}
}
}
return true;