diff options
| author | Simon Glass <[email protected]> | 2014-08-28 09:43:41 -0600 |
|---|---|---|
| committer | Simon Glass <[email protected]> | 2014-09-05 13:40:43 -0600 |
| commit | 3cf4ae6f8672cd10ddba4b18bf82e4d03aeb15e6 (patch) | |
| tree | c346c3bee954f28ce52ccef7ccd30ce2f747f331 /include | |
| parent | f60c9d4f39f8ca8948594a773eee43543ca37807 (diff) | |
buildman: Implement an option to exclude boards from the build
Some boards are known to be broken and it is convenient to be able to
exclude them from the build.
Add an --exclude option to specific boards to exclude. This uses the
same matching rules as the normal 'include' arguments, and is a comma-
separated list of regular expressions.
Suggested-by: York Sun <[email protected]>
Signed-off-by: Simon Glass <[email protected]>
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions