5 commits

Author	SHA1	Message	Date
Richard van der Hoff	1748d4b739	Use sytest build scripts, rather than reinventing the wheel	2016-03-08 23:37:39 +00: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	246b8c6e4a	Change port-base in jenkins-sqlite.sh	2016-03-03 16:26:38 +00:00
Erik Johnston	6789b63131	Use different PORT_BASE	2016-03-03 16:26:37 +00:00
Erik Johnston	690596b770	Add jenkins-sqlite.sh	2016-03-03 16:26:37 +00:00