Merge remote-tracking branch 'kiszka/master'

[jailhouse.git] / ci / build-all-configs.sh

diff --git a/ci/build-all-configs.sh b/ci/build-all-configs.sh
index 92207d7f14170bda0fad26870569b8681cf2b45e..cbcbb869736c7b17f046c21faa7ab830f52ed1bb 100755 (executable)
--- a/ci/build-all-configs.sh
+++ b/ci/build-all-configs.sh
@@ -2,7 +2,7 @@
 #
 # Jailhouse, a Linux-based partitioning hypervisor
 #
-# Copyright (c) Siemens AG, 2015
+# Copyright (c) Siemens AG, 2015, 2016
 #
 # Authors:
 #  Jan Kiszka <jan.kiszka@siemens.com>
@@ -11,6 +11,8 @@
 # the COPYING file in the top-level directory.
 #
 
+set -e
+
 CONFIGS="x86 banana-pi vexpress"
 
 # only build a specific config if the branch selects it