From be338a5149da998cc8366de69d788d04a64688e1 Mon Sep 17 00:00:00 2001 From: Simon Glass Date: Wed, 15 Oct 2014 14:34:41 +0200 Subject: [PATCH] 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 Reported-by: Albert Aribaud --- tools/buildman/builder.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/tools/buildman/builder.py b/tools/buildman/builder.py index 8155c1681e..7002034221 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 = '' -- 2.39.5