build.sh: if cmake fails, don't continue with make

2026-06-29 14:30:34 +08:00 · 2016-04-27 12:54:07 +02:00
parent 37b73c7d85
commit 798cdfe675
1 changed files with 4 additions and 0 deletions
@@ -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