Merge pull request ninja-build#1361 from ppluciennik/ppluciennik/flus…

…h_log Flush changes into .ninja_log right away.
nico · Apr 5, 2018 · 5d43e74 · 5d43e74
2 parents 74b76d3 + c1c8bba
commit 5d43e74
Showing 1 changed file with 3 additions and 0 deletions.
diff --git 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;