From 201c8ffe9f8a574f6b604975b3a4adb9d7f81dec Mon Sep 17 00:00:00 2001
From: rxi <rxi@users.noreply.github.com>
Date: Wed, 6 May 2020 19:34:18 +0100
Subject: [PATCH] Added stdout flushing to build.py

---
 build.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/build.py b/build.py
index 1c6640c..1a2d974 100755
--- a/build.py
+++ b/build.py
@@ -37,6 +37,7 @@ log_lock = threading.Lock()
 def log(msg, mode=Hint):
     log_lock.acquire()
     print log_prefix[mode], msg
+    sys.stdout.flush()
     log_lock.release()