mirror of
https://github.com/brain-hackers/u-boot-brain
synced 2024-07-05 10:46:15 +09:00
buildman: Add an option to specify the buildman config file
Add a new --config-file option (-G) to specify a different configuration file from the default ~/.buildman. Reported-by: Tom Rini <trini@ti.com> Signed-off-by: Simon Glass <sjg@chromium.org>
This commit is contained in:
parent
d3269ed380
commit
0f7c9ddaed
|
@ -83,6 +83,8 @@ parser.add_option('-F', '--force-build-failures', dest='force_build_failures',
|
|||
help='Force build of previously-failed build')
|
||||
parser.add_option('-g', '--git', type='string',
|
||||
help='Git repo containing branch to build', default='.')
|
||||
parser.add_option('-G', '--config-file', type='string',
|
||||
help='Path to buildman config file', default='')
|
||||
parser.add_option('-H', '--full-help', action='store_true', dest='full_help',
|
||||
default=False, help='Display the README file')
|
||||
parser.add_option('-i', '--in-tree', dest='in_tree',
|
||||
|
|
|
@ -86,7 +86,7 @@ def DoBuildman(options, args):
|
|||
"""
|
||||
gitutil.Setup()
|
||||
|
||||
bsettings.Setup()
|
||||
bsettings.Setup(options.config_file)
|
||||
options.git_dir = os.path.join(options.git, '.git')
|
||||
|
||||
toolchains = toolchain.Toolchains()
|
||||
|
|
Loading…
Reference in New Issue
Block a user