diff options
author | Simon Glass <sjg@chromium.org> | 2023-07-19 17:48:28 -0600 |
---|---|---|
committer | Simon Glass <sjg@chromium.org> | 2023-07-24 09:34:10 -0600 |
commit | a1431e6c97ab0d3c7be4327c8089a501d80e2c77 (patch) | |
tree | c6b709b79e622824809c03ebe231675cb8b9c32c /tools/buildman/cmdline.py | |
parent | 1b21842eab660ab1f80b89057abab99473b3bb5a (diff) |
buildman: Provide an argument to the -R option
Allow writing the file to a selected location, since otherwise this is
controlled by the buildman configuration, so cannot be determined by the
caller.
Signed-off-by: Simon Glass <sjg@chromium.org>
Fixes: https://source.denx.de/u-boot/u-boot/-/issues/17
Diffstat (limited to 'tools/buildman/cmdline.py')
-rw-r--r-- | tools/buildman/cmdline.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/buildman/cmdline.py b/tools/buildman/cmdline.py index 36acac5ee5..7918195bcb 100644 --- a/tools/buildman/cmdline.py +++ b/tools/buildman/cmdline.py @@ -106,7 +106,7 @@ def ParseArgs(): default=False, help="Use an O= (output) directory per board rather than per thread") parser.add_option('-r', '--reproducible-builds', action='store_true', help='Set SOURCE_DATE_EPOCH=0 to suuport a reproducible build') - parser.add_option('-R', '--regen-board-list', action='store_true', + parser.add_option('-R', '--regen-board-list', type='string', help='Force regeneration of the list of boards, like the old boards.cfg file') parser.add_option('-s', '--summary', action='store_true', default=False, help='Show a build summary') |