]> git.dujemihanovic.xyz Git - u-boot.git/commitdiff
buildman: Add an option to specify the buildman config file
authorSimon Glass <sjg@chromium.org>
Sat, 9 Aug 2014 21:33:05 +0000 (15:33 -0600)
committerSimon Glass <sjg@chromium.org>
Wed, 13 Aug 2014 14:34:15 +0000 (08:34 -0600)
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>
tools/buildman/buildman.py
tools/buildman/control.py

index f32557fee7f8e7b28ce4cb53418717f388e93176..6ca8dc65b5bc8ae291706766c4d9e676fc6bf0c0 100755 (executable)
@@ -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',
index cc8593f7eb8829c4d3e4b33a3b4bec200370837e..0c9e2cbfee5771487468527a1a7a0ae7ec03c560 100644 (file)
@@ -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()