diff options
Diffstat (limited to 'tools/buildman/control.py')
| -rw-r--r-- | tools/buildman/control.py | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/tools/buildman/control.py b/tools/buildman/control.py index b8a6cbfe2f..cb01158b60 100644 --- a/tools/buildman/control.py +++ b/tools/buildman/control.py @@ -127,7 +127,13 @@ def DoBuildman(options, args): boards = board.Boards() boards.ReadBoards(os.path.join(options.git, 'boards.cfg')) - why_selected = boards.SelectBoards(args) + + exclude = [] + if options.exclude: + for arg in options.exclude: + exclude += arg.split(',') + + why_selected = boards.SelectBoards(args, exclude) selected = boards.GetSelected() if not len(selected): sys.exit(col.Color(col.RED, 'No matching boards found')) |