Added stdout flushing to build.py

2020-05-06 19:34:18 +01:00 · 2020-05-06 19:34:18 +01:00 · 201c8ffe9f
parent 73996e3dc9
commit 201c8ffe9f
1 changed files with 1 additions and 0 deletions
--- 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()