]> https://gitweb.dealii.org/ - dealii.git/commit
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)
commit3579e25ebac32b81091546abd0636dd01bc3df2d
tree77764817d41b9f64e1f4f98ea4da18bb31a3292f
parent381eddb2d4d65f8dd3eafbd793b439f2f26a810c
parentfdc5cc9e67d05f148abd1ad4ff2bd3315b0ed842
Merge pull request #9584 from tjhei/ci_jenkins_set_ex

CI: Jenkins: set -x and set -e
Jenkinsfile

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.