Exit build scripts on any error

2015-11-25 12:00:41 +01:00
parent e8fa744a07
commit e358e64106
1 changed files with 3 additions and 0 deletions
--- a/CI/ci-linux.sh
+++ b/CI/ci-linux.sh
@@ -3,6 +3,9 @@
 COMPILER=$1
 LANGUAGE=$2

+# Exit script on any error
+set -e 
+
 OPTIONS=""

 if [ "$COMPILER" == "gcc" ]; then