diff options
author | Simon Glass <sjg@chromium.org> | 2014-08-09 21:33:05 (GMT) |
---|---|---|
committer | Simon Glass <sjg@chromium.org> | 2014-08-13 14:34:15 (GMT) |
commit | 0f7c9ddaed23851d39d781714e80097c97a4d55d (patch) | |
tree | 3f9747eb7b3fe3d911662621ca96c47a5f3d9d3f /tools/buildman/buildman.py | |
parent | d3269ed380c50eeb5230de8ba1fd62fbe3cc263d (diff) | |
download | u-boot-0f7c9ddaed23851d39d781714e80097c97a4d55d.tar.xz |
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>
Diffstat (limited to 'tools/buildman/buildman.py')
-rwxr-xr-x | tools/buildman/buildman.py | 2 |
1 files changed, 2 insertions, 0 deletions
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 @@ 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', |