CI: catch failures

diff --git a/Jenkinsfile b/Jenkinsfile
index 4f94fc4410ebd5eb2239fbcd7fb6ac1f72ac8884..2f6d440b15bd8cb467ee1ae025219f162eb2138b 100644 (file)
--- 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 8538cbdcdde7d2704aeba5d7985b8c21ee5ea9fb..5c0d92165ca2bf6cc07a565c87f82588aab9d098 100644 (file)
--- 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 \