diff options
| -rw-r--r-- | tools/buildman/builder.py | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/tools/buildman/builder.py b/tools/buildman/builder.py index ccf46ac5f6..ae8eee16e3 100644 --- a/tools/buildman/builder.py +++ b/tools/buildman/builder.py @@ -450,11 +450,6 @@ class Builder: self._AddTimestamp() if self._complete_delay: name += '%s : ' % self._complete_delay - # When building all boards for a commit, we can print a commit - # progress message. - if result and result.commit_upto is None: - name += 'commit %2d/%-3d' % (self.commit_upto + 1, - self.commit_count) name += target terminal.PrintClear() |