tree 07e7263dfb912d0805298526fbc1648945f3f6ce
parent 57ba942bcde7d3d763318b715a678df36edde045
author Simon Glass <sjg@chromium.org> 1528781206 -0600
committer Simon Glass <sjg@chromium.org> 1542215787 -0800

buildman: Add a --boards option to specify particular boards to build

At present 'buildman sandbox' will build all 5 boards for the sandbox
architecture rather than the single board 'sandbox'. The only current way
to exclude sandbox_spl, sandbox_noblk, etc. is to use -x which is a bit
clumbsy.

Add a --boards option to allow individual build targets to be specified.

Signed-off-by: Simon Glass <sjg@chromium.org>