From: Timo Heister <timo.heister@gmail.com>
Date: Mon, 8 Apr 2019 19:25:30 +0000 (-0600)
Subject: CI: catch failures
X-Git-Tag: v9.1.0-rc1~212^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F7898%2Fhead;p=dealii.git

CI: catch failures
---

diff --git a/Jenkinsfile b/Jenkinsfile
index 4f94fc4410..2f6d440b15 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -120,6 +120,7 @@ pipeline
           {
             sh "echo \"building on node ${env.NODE_NAME}\""
             sh '''#!/bin/bash
+               set -e
                export NP=`grep -c ^processor /proc/cpuinfo`
                export TEST_TIME_LIMIT=1200
                mkdir -p /home/dealii/build
@@ -173,6 +174,7 @@ pipeline
           {
             sh "echo \"building on node ${env.NODE_NAME}\""
             sh '''#!/bin/bash
+                set -e
                 export NP=`grep -c ^processor /proc/cpuinfo`
                 mkdir -p /home/dealii/build
                 cd /home/dealii/build
diff --git a/contrib/ci/Jenkinsfile.osx b/contrib/ci/Jenkinsfile.osx
index 8538cbdcdd..5c0d92165c 100644
--- a/contrib/ci/Jenkinsfile.osx
+++ b/contrib/ci/Jenkinsfile.osx
@@ -88,6 +88,7 @@ pipeline
             {
               sh "echo \"building on node ${env.NODE_NAME}\""
               sh '''#!/bin/bash
+                    set -e
                     mkdir build && cd build
                     cmake \
                       -D DEAL_II_WITH_MPI=OFF \