aboutsummaryrefslogtreecommitdiffstats
path: root/contrib/jenkins.sh
AgeCommit message (Expand)AuthorFilesLines
2017-03-31jenkins: also test build in separate dirNeels Hofmeyr1-0/+12
2017-03-16jenkins: add value_string termination checkNeels Hofmeyr1-0/+2
2016-10-12configure: add --enable-sanitize, use in jenkins.shNeels Hofmeyr1-2/+3
2016-10-12jenkins.sh: drop unecessary PATH, now in slave configNeels Hofmeyr1-1/+0
2016-09-30jenkins.sh: output all test logs when 'make check' failedNeels Hofmeyr1-1/+3
2016-04-13jenkins: Enable tracing and error handling in bashHolger Hans Peter Freyther1-0/+2
2016-04-13jenkins: Add build script used by jenkins on our public CIHolger Hans Peter Freyther1-0/+6