aboutsummaryrefslogtreecommitdiffstats
path: root/contrib
AgeCommit message (Expand)AuthorFilesLines
2016-10-21jenkins.sh: use sh instead of bashNeels Hofmeyr1-1/+1
2016-10-21jenkins.sh: call 'make check'Neels Hofmeyr1-0/+1
2016-10-17add jenkins.sh script for jenkins build jobNeels Hofmeyr1-0/+14