From fdc5cc9e67d05f148abd1ad4ff2bd3315b0ed842 Mon Sep 17 00:00:00 2001 From: Timo Heister Date: Sun, 1 Mar 2020 12:54:59 -0500 Subject: [PATCH] CI: Jenkins: set -x and set -e This is useful when browsing the build log to see the executed command --- Jenkinsfile | 2 ++ contrib/ci/Jenkinsfile.osx | 1 + contrib/ci/Jenkinsfile.tidy | 2 ++ 3 files changed, 5 insertions(+) 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 ''' -- 2.39.5