aboutsummaryrefslogtreecommitdiffstats
path: root/contrib/jenkins.sh
AgeCommit message (Expand)AuthorFilesLines
2019-07-10contrib/jenkins.sh: run "make {distcheck,maintainer-clean}"Oliver Smith1-0/+2
2016-04-13jenkins: Add the build script from jenkins hereHolger Hans Peter Freyther1-0/+7