aboutsummaryrefslogtreecommitdiffstats
path: root/contrib
AgeCommit message (Expand)AuthorFilesLines
2017-03-16jenkins: add value_string termination checkNeels Hofmeyr1-0/+2
2017-03-16contrib: add script to find unterminated value_string arraysNeels Hofmeyr1-0/+33
2016-12-09contrib: add fsm-to-dot.py to draw osmo_fsm dotty graphsNeels Hofmeyr1-0/+710
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