diff --git a/Jenkinsfile b/Jenkinsfile
index ad7ef8b..d302131 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -289,7 +289,7 @@ METRICS
       steps {
         container('tester') {
           sh '''
-            set -euo pipefail
+            set -eu
             test_rc="$(cat build/test.exitcode 2>/dev/null || echo 1)"
             fail=0
             if [ "${test_rc}" -ne 0 ]; then