3 Commits (3263e12d73df503aa8bc95d679a898d422ec171a)

Author	SHA1	Message	Date
Erik Johnston	bf0edf7a16	Make jenkins-unittests.sh install deps	2016-06-24 11:05:09 +01:00
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