summaryrefslogtreecommitdiffstats
path: root/contrib/jenkins.sh
Commit message (Expand)AuthorAgeFilesLines
* jenkins: also test build in separate dirNeels Hofmeyr2017-03-311-0/+12
* jenkins: add value_string termination checkNeels Hofmeyr2017-03-161-0/+2
* configure: add --enable-sanitize, use in jenkins.shNeels Hofmeyr2016-10-121-2/+3
* jenkins.sh: drop unecessary PATH, now in slave configNeels Hofmeyr2016-10-121-1/+0
* jenkins.sh: output all test logs when 'make check' failedNeels Hofmeyr2016-09-301-1/+3
* jenkins: Enable tracing and error handling in bashHolger Hans Peter Freyther2016-04-131-0/+2
* jenkins: Add build script used by jenkins on our public CIHolger Hans Peter Freyther2016-04-131-0/+6