diff options
Diffstat (limited to 'tools/checker.py')
| -rwxr-xr-x | tools/checker.py | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/tools/checker.py b/tools/checker.py index 55f015e68a..5744c15488 100755 --- a/tools/checker.py +++ b/tools/checker.py @@ -110,9 +110,10 @@ class Logger(object): text = Logger.Color.terminalCode(color, out) + text + \ Logger.Color.terminalCode(Logger.Color.Default, out) if newLine: - print(text, flush=True, file=out) + print(text, file=out) else: - print(text, end="", flush=True, file=out) + print(text, end="", file=out) + out.flush() @staticmethod def fail(msg, file=None, line=-1): |