Merge pull request #9584 from tjhei/ci_jenkins_set_ex

CI: Jenkins: set -x and set -e

diff --cc Jenkinsfile
index be3cc00470ae3e3f1607e2d3d00f2c07ca512a1f,8504169272dbd1a06b38a75156241eabfcac784b..c2028333f4a167b39525cffb258beef27d3f3caa
--- 1/Jenkinsfile
--- 2/Jenkinsfile
+++ b/Jenkinsfile
@@@ -123,8 -123,13 +123,9 @@@ pipelin
              timeout(time: 6, unit: 'HOURS')
              {
                sh "echo \"building on node ${env.NODE_NAME}\""
 -              sh '''#!/bin/bash
 -                 cd $WORKSPACE/
 -                 ./contrib/utilities/check_doxygen.sh
 -              '''
                sh '''#!/bin/bash
                   set -e
+                  set -x
                   export NP=`grep -c ^processor /proc/cpuinfo`
                   export TEST_TIME_LIMIT=1200
                   mkdir -p /home/dealii/build