From c1c8bbaa5fc95ee90ce50d2aa5e16f4c86431114 Mon Sep 17 00:00:00 2001 From: Pawel Pluciennik Date: Fri, 24 Nov 2017 11:26:23 +0100 Subject: Flush changes into .ninja_log right away. --- src/build_log.cc | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/build_log.cc b/src/build_log.cc index 648617c..c75be95 100644 --- a/src/build_log.cc +++ b/src/build_log.cc @@ -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; -- cgit v0.12