From 798cdfe675b3370802544dd3bc1f40d6afa5d8c1 Mon Sep 17 00:00:00 2001
From: Julian Oes <julian@oes.ch>
Date: Wed, 27 Apr 2016 12:54:07 +0200
Subject: [PATCH] build.sh: if cmake fails, don't continue with make

---
 build.sh | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/build.sh b/build.sh
index 67b95f6b9c..5daff21095 100755
--- a/build.sh
+++ b/build.sh
@@ -1,3 +1,4 @@
+#!/bin/sh
 ############################################################################
 #
 #   Copyright (c) 2015-2016 ECL Development Team. All rights reserved.
@@ -31,6 +32,9 @@
 #
 ############################################################################
 
+# Exit on any error.
+set -e
+
 # Build EKF shared library.
 mkdir Build
 cd Build