Ensure immediate exit on failure in build.sh

diff --git a/ci/build.sh b/ci/build.sh
index 695ce4f9f0320dacfa68713c9ebcd25640adaf3d..ebd61f1bd5bf0308e3807ecff2deb1a32e08e82a 100755 (executable)
--- a/ci/build.sh
+++ b/ci/build.sh
@@ -1,6 +1,8 @@
 #!/bin/bash
 
 set -x
+set -e
+set -o pipefail
 
 if test -f /etc/os-release; then
     cat /etc/os-release