summaryrefslogtreecommitdiffstats
path: root/util
diff options
context:
space:
mode:
authorMartin Roth <gaumless@gmail.com>2023-08-03 14:44:10 -0600
committerFelix Singer <service+coreboot-gerrit@felixsinger.de>2023-12-12 00:43:13 +0000
commitb94fb0217809853fb4bf97ea55653588a3361d59 (patch)
tree6e408f711ed34b40102452d4d4d07d4c7e0cee8b /util
parent431ca5eab569e6c97108964945f7fac9ba08e430 (diff)
downloadcoreboot-b94fb0217809853fb4bf97ea55653588a3361d59.tar.gz
coreboot-b94fb0217809853fb4bf97ea55653588a3361d59.tar.bz2
coreboot-b94fb0217809853fb4bf97ea55653588a3361d59.zip
util/abuild: Better identify config string in log
When using the --skip_set and --skip_unset arguments, the config line looked like a statement that the build was being skipped instead of abuild just printing the configuration. This updates those config statements to better show that it's the config and not stating that this particular build is being skipped. Signed-off-by: Martin Roth <gaumless@gmail.com> Change-Id: I6cc59f9b33dcda51aeb3640d449037a0aa054e36 Reviewed-on: https://review.coreboot.org/c/coreboot/+/76936 Reviewed-by: Felix Singer <service+coreboot-gerrit@felixsinger.de> Tested-by: build bot (Jenkins) <no-reply@coreboot.org> Reviewed-by: Eric Lai <ericllai@google.com>
Diffstat (limited to 'util')
-rwxr-xr-xutil/abuild/abuild14
1 files changed, 7 insertions, 7 deletions
diff --git a/util/abuild/abuild b/util/abuild/abuild
index 1adf0462fff4..58f48f2b05f2 100755
--- a/util/abuild/abuild
+++ b/util/abuild/abuild
@@ -11,8 +11,8 @@
#set -x # Turn echo on....
-ABUILD_DATE="Nov 1, 2023"
-ABUILD_VERSION="0.11.02"
+ABUILD_DATE="Nov 18, 2023"
+ABUILD_VERSION="0.11.03"
TOP=$PWD
@@ -823,12 +823,12 @@ while true ; do
;;
--skip_set) shift
skipconfig_set="$1"
- customizing="${customizing}, Skipping CONFIG_${skipconfig_set}=Y"
+ customizing="${customizing}, Skipping builds with CONFIG_${skipconfig_set}=Y"
shift
;;
--skip_unset) shift
skipconfig_unset="$1"
- customizing="${customizing}, Skipping CONFIG_${skipconfig_unset} not set"
+ customizing="${customizing}, Skipping builds with CONFIG_${skipconfig_unset} not set"
shift
;;
--asserts) shift
@@ -934,10 +934,10 @@ if echo "${skipconfig_set}${skipconfig_unset}" | grep -q "CONFIG_" >/dev/null 2>
fi
customizing=$(echo "$customizing" | cut -c3-)
-if [ "$customizing" = "" ]; then
- customizing="default configuration"
+if [ -z "$customizing" ]; then
+ customizing="Default configuration"
fi
-
+customizing="Config: ${customizing}"
FAILED_BOARDS="$(realpath ${TARGET}/failed_boards)"
PASSED_BOARDS="$(realpath ${TARGET}/passing_boards)"