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/control.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/control.py')
| -rw-r--r-- | tools/buildman/control.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/buildman/control.py b/tools/buildman/control.py index fc9e926d3a..89010eac3a 100644 --- a/tools/buildman/control.py +++ b/tools/buildman/control.py @@ -209,6 +209,8 @@ def DoBuildman(options, args, toolchains=None, make_func=None, brds=None, if not os.path.exists(options.output_dir): os.makedirs(options.output_dir) board_file = os.path.join(options.output_dir, 'boards.cfg') + if options.regen_board_list and options.regen_board_list != '-': + board_file = options.regen_board_list brds = boards.Boards() if options.maintainer_check: |