From 9ef0ceb7308c710a54bc900ea57a233c9e716b2d Mon Sep 17 00:00:00 2001 From: Simon Glass Date: Thu, 9 Apr 2020 15:08:38 -0600 Subject: 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 --- tools/buildman/builder.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tools/buildman/builder.py') 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, -- cgit v1.2.3