From 1b97306058cc97d2126310f83bfedfd2f61186f7 Mon Sep 17 00:00:00 2001
From: Johannes Lenzen <johannes.lenzen@rwth-aachen.de>
Date: Tue, 5 Jan 2021 11:15:32 +0100
Subject: [PATCH] Enabled script error on error

---
 CI/ci-linux-build.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/CI/ci-linux-build.sh b/CI/ci-linux-build.sh
index d4cd9572..42dca598 100755
--- a/CI/ci-linux-build.sh
+++ b/CI/ci-linux-build.sh
@@ -1,4 +1,6 @@
 #!/bin/bash
+set -e
+set -o pipefail
 source CI/ci-linux-prepare.sh
 
 echo -e "${OUTPUT}"