commit 5d43e7457162c74bab25ada64a5bf87489ca5896
author Nico Weber <nicolasweber@gmx.de> Thu Apr 05 12:12:02 2018 -0400
committer GitHub <noreply@github.com> Thu Apr 05 12:12:02 2018 -0400
tree e010aa18736e8593cf64617603895daf55221111
parent 74b76d30105c74245628ebfa20148983fa0fc3d5
parent c1c8bbaa5fc95ee90ce50d2aa5e16f4c86431114

Merge pull request #1361 from ppluciennik/ppluciennik/flush_log

Flush changes into .ninja_log right away.

src/build_log.cc

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 @@
     if (log_file_) {
       if (!WriteEntry(log_file_, *log_entry))
         return false;
+      if (fflush(log_file_) != 0) {
+          return false;
+      }
     }
   }
   return true;