diff options
| author | Simon Glass <sjg@chromium.org> | 2014-10-15 14:34:41 +0200 |
|---|---|---|
| committer | Simon Glass <sjg@chromium.org> | 2014-11-03 14:10:52 -0700 |
| commit | be338a5149da998cc8366de69d788d04a64688e1 (patch) | |
| tree | 564a1cf8200a113323e47bcfee6085e18e72ccbc /tools | |
| parent | 571bdf16a78e9e116a93d46f4809c4f8a3f2adb6 (diff) | |
| download | u-boot-imx-be338a5149da998cc8366de69d788d04a64688e1.zip u-boot-imx-be338a5149da998cc8366de69d788d04a64688e1.tar.gz u-boot-imx-be338a5149da998cc8366de69d788d04a64688e1.tar.bz2 | |
buildman: Fix repeating board list with -l
Ensure that we don't print duplicate board names when -l is used.
Change-Id: I56adb138fc18f772ba61eba0fa194cdd7bc7efc6
Signed-off-by: Simon Glass <sjg@chromium.org>
Reported-by: Albert Aribaud <albert.u.boot@aribaud.net>
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/buildman/builder.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/buildman/builder.py b/tools/buildman/builder.py index 8155c16..7002034 100644 --- a/tools/buildman/builder.py +++ b/tools/buildman/builder.py @@ -918,7 +918,8 @@ class Builder: if self._list_error_boards: names = [] for board in line_boards[line]: - names.append(board.target) + if not board.target in names: + names.append(board.target) names_str = '(%s) ' % ','.join(names) else: names_str = '' |