diff options
author | Patrick Georgi <patrick@georgi-clan.de> | 2014-04-12 21:57:13 +0200 |
---|---|---|
committer | Patrick Georgi <patrick@georgi-clan.de> | 2014-04-16 08:19:05 +0200 |
commit | 7bd269e22505a158e9c77e18493c1e561f8dce0d (patch) | |
tree | 2ace3586bc97c151813a5646be98ea5eccf2b5a1 | |
parent | 6ac7f5301ffa3b33cddfd6936b043bc9a6fbd222 (diff) |
abuild: more verbose configuration step
Also pass V=1 to the configuration step, if requested.
Change-Id: If8b413d65d6bac34efab63614d039d74d920c8db
Reviewed-on: http://review.coreboot.org/5492
Tested-by: build bot (Jenkins)
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
-rwxr-xr-x | util/abuild/abuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/util/abuild/abuild b/util/abuild/abuild index ec5c27b910..7676a9f5e8 100755 --- a/util/abuild/abuild +++ b/util/abuild/abuild @@ -191,7 +191,7 @@ function create_config printf "$configoptions" >> ${build_dir}/config.build fi - yes "" 2>/dev/null | $MAKE oldconfig DOTCONFIG=${build_dir}/config.build obj=${build_dir} objutil=$TARGET/sharedutils &> ${build_dir}/config.log + yes "" 2>/dev/null | $MAKE oldconfig $silent DOTCONFIG=${build_dir}/config.build obj=${build_dir} objutil=$TARGET/sharedutils &> ${build_dir}/config.log ret=$? if [ $ret -eq 0 ]; then printf "ok; " |