diff options
| author | 2015-01-26 16:47:33 +0000 | |
|---|---|---|
| committer | 2015-01-27 16:12:13 +0000 | |
| commit | 3cf4877c66f84a7ba524732e66adcfa5296e07c1 (patch) | |
| tree | 547ed881036c8f440084f7643a90dd1933e607ed /tools/checker.py | |
| parent | 2dadc9df0ffb822870a150f81257792b83241c77 (diff) | |
run-test: enable checker in dev mode
Also, use explicit flush (instead of passing flush parameter to print)
to enable better compatibility across python versions.
Change-Id: Iaf294d88e932b778d5dce7f3c2b8eca775849973
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): |