From d40fb16860ba9b20a38c1d68e82e4a47b7d72157 Mon Sep 17 00:00:00 2001
From: Max Horn <max@quendi.de>
Date: Wed, 13 Dec 2017 10:41:33 +0100
Subject: [PATCH] BuildPackages.sh: add option to abort upon failure

With --strict given, BuildPackages.sh immediately aborts with a non-zero
exit code if there are any errors building a package. This way, it can
be used effectively from other scripts, e.g. for package's Travis tests.
---
 bin/BuildPackages.sh | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/bin/BuildPackages.sh b/bin/BuildPackages.sh
index 8087a082d4..e2ab9b69ed 100755
--- a/bin/BuildPackages.sh
+++ b/bin/BuildPackages.sh
@@ -33,6 +33,7 @@ fi
 CURDIR="$(pwd)"
 GAPROOT="$(cd .. && pwd)"
 COLORS=yes
+STRICT=no       # exit with non-zero exit code when encountering any failures
 PACKAGES=()
 
 # If output does not go into a terminal (but rather into a log file),
@@ -44,7 +45,13 @@ while [[ "$#" -ge 1 ]]; do
   case "$option" in
     --with-gaproot)   GAPROOT="$1"; shift ;;
     --with-gaproot=*) GAPROOT=${option#--with-gaproot=}; ;;
+
     --no-color)       COLORS=no ;;
+    --color)          COLORS=yes ;;
+
+    --no-strict)      STRICT=no ;;
+    --strict)         STRICT=yes ;;
+
     -*)               echo "ERROR: unsupported argument $option" ; exit 1;;
     *)                PACKAGES+=("$option") ;;
   esac
@@ -183,6 +190,10 @@ build_fail() {
   echo ""
   warning "Failed to build $PKG"
   echo "$PKG" >> "$LOGDIR/fail.log"
+  if [[ $STRICT = yes ]]
+  then
+    exit 1
+  fi
 }
 
 run_configure_and_make() {