summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2018-06-12 15:45:43 +0200
committerErich Eckner <git@eckner.net>2018-06-12 15:45:43 +0200
commit425212a0e3cd0884971a6aa367be2fb49f1acba5 (patch)
tree94126a5a0793963e09646f83be5fb1714d76eabe
parent7076434dfbf8e1c11db92bf44695cbc2b5c2564b (diff)
downloadbuilder-425212a0e3cd0884971a6aa367be2fb49f1acba5.tar.xz
bin/sanity-check: run all scheduled sanity checks, even if one fails
-rwxr-xr-xbin/sanity-check8
1 files changed, 7 insertions, 1 deletions
diff --git a/bin/sanity-check b/bin/sanity-check
index 21c891d..0445183 100755
--- a/bin/sanity-check
+++ b/bin/sanity-check
@@ -19,6 +19,8 @@ usage() {
[ -z "$1" ] && exit 1 || exit "$1"
}
+exit_code=0
+
i_am_insane() {
if [ ! -s "${work_dir}/build-master-sanity" ]; then
# shellcheck disable=SC2119
@@ -29,7 +31,7 @@ i_am_insane() {
"${work_dir}/build-master-sanity"
echo 'SANITY CHECK FAILED' >> \
"${tmp_dir}/messages"
- exit 1
+ exit_code=1
}
eval set -- "$(
@@ -482,6 +484,10 @@ while [ $# -gt 0 ]; do
done
+if [ ${exit_code} -ne 0 ]; then
+ exit ${exit_code}
+fi
+
if [ -f "${work_dir}/build-master-sanity" ]; then
rm "${work_dir}/build-master-sanity"
# shellcheck disable=SC2119