diff options
author | Simon Glass <sjg@chromium.org> | 2023-08-03 12:59:55 -0600 |
---|---|---|
committer | Tom Rini <trini@konsulko.com> | 2023-08-14 18:19:03 -0400 |
commit | a171641db765c618321ebdd5f7e260daa2a45b8c (patch) | |
tree | f27d97180083999578110ca6a8ac39fd2ba5dc4c | |
parent | aaf5b5923054efbf1244dc7fbae68d0bd2a03cf7 (diff) | |
download | u-boot-WIP/2023-08-14-assorted-general-updates-plus-check-buildman-change.zip u-boot-WIP/2023-08-14-assorted-general-updates-plus-check-buildman-change.tar.gz u-boot-WIP/2023-08-14-assorted-general-updates-plus-check-buildman-change.tar.bz2 |
buildman: Allow more results while buildingWIP/2023-08-14-assorted-general-updates-plus-check-buildman-change
The -v option enables display of build results while building, instead of
needing to do a separate summary step later (or in another terminal). But
this resets the build results after each commit, so that all errors are
reported fresh, without trying to diff them against previous errors
already shown.
Drop this reset, as an experiment, so see if this is useful.
Signed-off-by: Simon Glass <sjg@chromium.org>
-rw-r--r-- | tools/buildman/builder.py | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tools/buildman/builder.py b/tools/buildman/builder.py index ecbd368..5ee2b59 100644 --- a/tools/buildman/builder.py +++ b/tools/buildman/builder.py @@ -536,7 +536,6 @@ class Builder: if self._verbose: terminal.print_clear() boards_selected = {target : result.brd} - self.reset_result_summary(boards_selected) self.produce_result_summary(result.commit_upto, self.commits, boards_selected) else: |