From bc25c5b7335831d5cd654985e1c11d1e28e8f1f9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jan=20M=C3=B6bius?= <moebius@cs.rwth-aachen.de>
Date: Wed, 25 Nov 2015 14:42:58 +0100
Subject: [PATCH] Exit on any error in mac script

---
 CI/ci-mac.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/CI/ci-mac.sh b/CI/ci-mac.sh
index fc9b5ea8..caefdeb6 100755
--- a/CI/ci-mac.sh
+++ b/CI/ci-mac.sh
@@ -1,5 +1,8 @@
 #!/bin/bash
 
+#Exit on any error
+set -e
+
 LANGUAGE=$1
 
 PATH=$PATH:/opt/local/bin