Commit Graph

2 Commits (e4134c5e13021a8563d0b11920fba184148fdf0d)

Author SHA1 Message Date
Richard van der Hoff 62d808becc jenkins-*.sh: set -x
Also move the options from the shebang line to the body of the script, so that
they take effect even if somebody explicitly runs "bash jenkins.sh"
2016-03-03 19:13:43 +00:00
Erik Johnston c037170faa Split up jenkins tests 2016-03-03 16:26:38 +00:00