diff options
| author | Simon Glass <sjg@chromium.org> | 2016-09-18 16:48:30 -0600 |
|---|---|---|
| committer | sjg <sjg@chromium.org> | 2016-10-09 09:30:32 -0600 |
| commit | 8b4919ed29f51075e85a7358db75b66a226d5b1e (patch) | |
| tree | 89076adc92f46a717492a4f47313c5ce5e29b707 | |
| parent | f5fd45ff64e28a73499548358e3d1ceda0de7daf (diff) | |
patman: Flush output when there is no newline
Output which does not include a newline will not be displayed unless
flushed. Add a flush to ensure that it becomes visible.
Signed-off-by: Simon Glass <sjg@chromium.org>
| -rw-r--r-- | tools/patman/terminal.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/patman/terminal.py b/tools/patman/terminal.py index e78a7c14f5..af3593eb34 100644 --- a/tools/patman/terminal.py +++ b/tools/patman/terminal.py @@ -55,6 +55,8 @@ def Print(text='', newline=True, colour=None): print text, if newline: print + else: + sys.stdout.flush() def SetPrintTestMode(): """Go into test mode, where all printing is recorded""" |