From: Timo Heister Date: Sun, 1 Mar 2020 17:54:59 +0000 (-0500) Subject: CI: Jenkins: set -x and set -e X-Git-Tag: v9.2.0-rc1~464^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F9584%2Fhead;p=dealii.git CI: Jenkins: set -x and set -e This is useful when browsing the build log to see the executed command --- diff --git a/Jenkinsfile b/Jenkinsfile index a80e466537..8504169272 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -129,6 +129,7 @@ pipeline ''' sh '''#!/bin/bash set -e + set -x export NP=`grep -c ^processor /proc/cpuinfo` export TEST_TIME_LIMIT=1200 mkdir -p /home/dealii/build @@ -184,6 +185,7 @@ pipeline sh "echo \"building on node ${env.NODE_NAME}\"" sh '''#!/bin/bash set -e + set -x 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 8258efbdb7..b44e059ea1 100644 --- a/contrib/ci/Jenkinsfile.osx +++ b/contrib/ci/Jenkinsfile.osx @@ -89,6 +89,7 @@ pipeline sh "echo \"building on node ${env.NODE_NAME}\"" sh '''#!/bin/bash set -e + set -x mkdir build && cd build cmake \ -D DEAL_II_WITH_MPI=OFF \ diff --git a/contrib/ci/Jenkinsfile.tidy b/contrib/ci/Jenkinsfile.tidy index 6aa1179e43..0203f6e6ee 100644 --- a/contrib/ci/Jenkinsfile.tidy +++ b/contrib/ci/Jenkinsfile.tidy @@ -91,6 +91,8 @@ pipeline { sh "echo \"building on node ${env.NODE_NAME}\"" sh '''#!/bin/bash + set -e + set -x mkdir build && cd build $WORKSPACE/contrib/utilities/run_clang_tidy.sh $WORKSPACE '''