diff options
| author | Simon Glass <sjg@chromium.org> | 2020-04-09 15:08:43 -0600 |
|---|---|---|
| committer | Simon Glass <sjg@chromium.org> | 2020-04-21 06:33:47 -0600 |
| commit | 212c0b8170991e14a649ebcb0ff73a5f122d3c27 (patch) | |
| tree | 0a828186d666a7e3220e0d8be67cdad1554e4fb1 /tools | |
| parent | 102969bb2c308d13da32967ec6eea128374206a8 (diff) | |
buildman: Show a message when fetching a repo
Fetching updated versions of a repo can take time. At present buildman
gives no indication that it is doing this.
Add a message to explain the delay.
Tidy up a few other messages while we are here.
Signed-off-by: Simon Glass <sjg@chromium.org>
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/buildman/builder.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/tools/buildman/builder.py b/tools/buildman/builder.py index 60e854bb49..ccf46ac5f6 100644 --- a/tools/buildman/builder.py +++ b/tools/buildman/builder.py @@ -1533,7 +1533,10 @@ class Builder: if setup_git and self.git_dir: src_dir = os.path.abspath(self.git_dir) if os.path.exists(git_dir): + Print('\rFetching repo for thread %d' % thread_num, + newline=False) gitutil.Fetch(git_dir, thread_dir) + terminal.PrintClear() else: Print('\rCloning repo for thread %d' % thread_num, newline=False) @@ -1591,7 +1594,7 @@ class Builder: newline=False) for dirname in to_remove: shutil.rmtree(dirname) - Print('done') + terminal.PrintClear() def BuildBoards(self, commits, board_selected, keep_outputs, verbose): """Build all commits for a list of boards |