From 71a7f6d9c43cc5f78c32a07177fb944cc5902e9b Mon Sep 17 00:00:00 2001
From: Mathieu Champlon <mathieu.champlon@masagroup.net>
Date: Sun, 25 Mar 2018 20:25:08 +0200
Subject: [PATCH] Fixed shell build script to exit upon error

---
 build/build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build/build.sh b/build/build.sh
index 7791769..d42daf7 100755
--- a/build/build.sh
+++ b/build/build.sh
@@ -12,7 +12,7 @@ copy()
     cp $@
 }
 
-set -x
+set -ex
 
 export BOOST=$BOOST_ROOT