commit 0f7c9ddaed23851d39d781714e80097c97a4d55d
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 d3269ed380c50eeb5230de8ba1fd62fbe3cc263d

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/buildman.py

diff --git a/tools/buildman/buildman.py b/tools/buildman/buildman.py
index f32557f..6ca8dc6 100755
--- a/tools/buildman/buildman.py
+++ b/tools/buildman/buildman.py
@@ -83,6 +83,8 @@
        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',