From 5ac43cff8e80725a5895ba5ec914c1bd4611b2f7 Mon Sep 17 00:00:00 2001 From: Timo Heister Date: Mon, 8 Apr 2019 13:25:30 -0600 Subject: [PATCH] CI: catch failures --- Jenkinsfile | 2 ++ contrib/ci/Jenkinsfile.osx | 1 + 2 files changed, 3 insertions(+) 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 \ -- 2.39.5