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)
commit0f7c9ddaed23851d39d781714e80097c97a4d55d
tree3f9747eb7b3fe3d911662621ca96c47a5f3d9d3f
parentd3269ed380c50eeb5230de8ba1fd62fbe3cc263d
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
tools/buildman/control.py