2 Commits (18e3a16e8b2303e6b638f679b5b8533e329cbe7a)

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"	9 years ago
Erik Johnston	c037170faa	Split up jenkins tests	9 years ago