From 7ebb0afd4ec1949f169589ac98438a1322454b1c Mon Sep 17 00:00:00 2001
From: Tycho <work.tycho+git@gmail.com>
Date: Sat, 10 May 2014 17:52:46 +0100
Subject: [PATCH] Fail build on error

---
 CIbuild.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/CIbuild.sh b/CIbuild.sh
index 0e17f6e64..20785a488 100755
--- a/CIbuild.sh
+++ b/CIbuild.sh
@@ -1,5 +1,7 @@
  #!/usr/bin/env bash
- 
+
+set -e
+
 cmake . -DBUILD_TOOLS=1 -DSELF_TEST=1;
 make -j 2;
 make -j 2 test;