diff options
| author | Simon Glass <sjg@chromium.org> | 2020-04-09 15:08:38 -0600 |
|---|---|---|
| committer | Simon Glass <sjg@chromium.org> | 2020-04-21 06:33:47 -0600 |
| commit | 9ef0ceb7308c710a54bc900ea57a233c9e716b2d (patch) | |
| tree | 11f03fe841b1d30a925e315164067908fcae6ebe /tools/buildman/builder.py | |
| parent | 8c9a2674ee3669a6743e3e5133c87c7ee23a320e (diff) | |
buildman: Use spaces in the board list
At present the board names shown with -l are separated by commas. This
makes it hard to double-click to select a particular board. Also it is not
possible to select all boards and paste them as arguments to a subsequent
buildman run, since buildman requires spaces to separate the list on the
command line, not commas.
Change the output format to use spaces instead of commas.
Signed-off-by: Simon Glass <sjg@chromium.org>
Diffstat (limited to 'tools/buildman/builder.py')
| -rw-r--r-- | tools/buildman/builder.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/buildman/builder.py b/tools/buildman/builder.py index 7cbb1a6f62..e895ab73d8 100644 --- a/tools/buildman/builder.py +++ b/tools/buildman/builder.py @@ -1253,7 +1253,7 @@ class Builder: for line in err_lines: boards = '' names = [board.target for board in line.boards] - board_str = ','.join(names) if names else '' + board_str = ' '.join(names) if names else '' if board_str: out = self.col.Color(colour, line.char + '(') out += self.col.Color(self.col.MAGENTA, board_str, |