From 9028d6c194dff126443a1d19f23a13ac1e8ead3a Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Wed, 18 Apr 2018 13:48:08 +0200
Subject: [PATCH] set pipefail so that CI fails early if the build fails

---
 buildjob | 1 +
 1 file changed, 1 insertion(+)

diff --git a/buildjob b/buildjob
index 13c3c16..8f8a8e0 100755
--- a/buildjob
+++ b/buildjob
@@ -1,5 +1,6 @@
 #!/bin/bash
 set -e
+set -o pipefail
 #set -x
 
 ## This runs a default build job.  The following variables are noteworthy:
-- 
GitLab