]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Merge pull request #9584 from tjhei/ci_jenkins_set_ex
authorDaniel Arndt <arndtd@ornl.gov>
Wed, 4 Mar 2020 03:41:45 +0000 (22:41 -0500)
committerGitHub <noreply@github.com>
Wed, 4 Mar 2020 03:41:45 +0000 (22:41 -0500)
CI: Jenkins: set -x and set -e

1  2 
Jenkinsfile

diff --cc Jenkinsfile
index be3cc00470ae3e3f1607e2d3d00f2c07ca512a1f,8504169272dbd1a06b38a75156241eabfcac784b..c2028333f4a167b39525cffb258beef27d3f3caa
@@@ -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

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.