diff options
author | Simon Glass <sjg@chromium.org> | 2018-09-14 04:57:12 -0600 |
---|---|---|
committer | Simon Glass <sjg@chromium.org> | 2018-09-28 11:09:01 -0600 |
commit | 0bfa7b09ba16f4ffaf0cfc9315336aaa708dcd26 (patch) | |
tree | 476912878f3da01fe02636b91b510e7d51b40e31 /tools/binman/control.py | |
parent | a326b495cdcfd56507841e38158683e6e4d5894c (diff) |
binman: Support building a selection of images
Sometimes it is useful to build only a subset of the images provided by
the binman configuration. Add a -i option for this. It can be given
multiple times to build several images. If the option is not given, all
images are built.
Signed-off-by: Simon Glass <sjg@chromium.org>
Diffstat (limited to 'tools/binman/control.py')
-rw-r--r-- | tools/binman/control.py | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/tools/binman/control.py b/tools/binman/control.py index 2de1c86ecfe..8c48008fc75 100644 --- a/tools/binman/control.py +++ b/tools/binman/control.py @@ -162,6 +162,15 @@ def Binman(options, args): images = _ReadImageDesc(node) + if options.image: + skip = [] + for name, image in images.iteritems(): + if name not in options.image: + del images[name] + skip.append(name) + if skip: + print 'Skipping images: %s\n' % ', '.join(skip) + # Prepare the device tree by making sure that any missing # properties are added (e.g. 'pos' and 'size'). The values of these # may not be correct yet, but we add placeholders so that the |