diff --git a/tools/buildman/builder.py b/tools/buildman/builder.py
index 8155c1681eab8191ded875154a2f21c9af83d394..7002034221d12789473d33e7f62cb21cbe296be7 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 = ''