Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 4c55047b3ed3bc43426f4875116ff14e4eda105b)
+++ Jenkinsfile	(revision 929ac6440698f53d4b947f66e5223d8451467b51)
@@ -153,5 +153,5 @@
 		dir (BuildDir) {
 			//Append bench results
-			sh "make --no-print-directory -C benchmark jenkins githash=${Settings.GitNewRef} arch=${Settings.Architecture} | tee ${SrcDir}/bench.json"
+			sh "set -o pipefail; make --no-print-directory -C benchmark jenkins githash=${Settings.GitNewRef} arch=${Settings.Architecture} | tee ${SrcDir}/bench.json"
 		}
 	}