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 a80e46653724dab9f5a555ef09439ce90f053a67..8504169272dbd1a06b38a75156241eabfcac784b 100644 (file)
--- 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 8258efbdb753e4187fc9c1336e68f7eb1663883d..b44e059ea19105527a31f2af00e03fc140ca43f0 100644 (file)
--- 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 6aa1179e43dd6bdc9c6344b7631168e343050def..0203f6e6ee5ad91f493eadf5a652b0a93ef8d512 100644 (file)
--- 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
                  '''