summaryrefslogtreecommitdiffstats
path: root/jenkins.sh
Commit message (Expand)AuthorAgeFilesLines
* jenkins.sh: do not ignore errorsBenjamin Dauvergne2013-11-201-0/+1
* jenkins.sh: build a first time before running distcheck, in order to have the...Benjamin Dauvergne2013-09-261-0/+1
* add jenkins.sh scriptBenjamin Dauvergne2013-09-261-0/+3