commit 4d1a47fb59025d01e0e05290c9c375fb4039ab4e
author Simon Glass <sjg@chromium.org> Sat Aug 09 15:33:05 2014 -0600
committer Simon Glass <sjg@chromium.org> Wed Aug 13 08:34:15 2014 -0600
tree 3f9747eb7b3fe3d911662621ca96c47a5f3d9d3f
parent 8457bb4b5305f7b016713dc5b531a0b3ece28168

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>

tools/buildman/control.py

diff --git a/tools/buildman/control.py b/tools/buildman/control.py
index cc8593f..0c9e2cb 100644
--- a/tools/buildman/control.py
+++ b/tools/buildman/control.py
@@ -86,7 +86,7 @@
     """
     gitutil.Setup()
 
-    bsettings.Setup()
+    bsettings.Setup(options.config_file)
     options.git_dir = os.path.join(options.git, '.git')
 
     toolchains = toolchain.Toolchains()