From 425212a0e3cd0884971a6aa367be2fb49f1acba5 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Tue, 12 Jun 2018 15:45:43 +0200
Subject: bin/sanity-check: run all scheduled sanity checks, even if one fails

---
 bin/sanity-check | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

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
-- 
cgit v1.2.3-70-g09d2