summaryrefslogtreecommitdiffstats
path: root/jenkins.sh
Commit message (Collapse)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 ↵Benjamin Dauvergne2013-09-261-0/+1
| | | | the documentation compiled
* add jenkins.sh scriptBenjamin Dauvergne2013-09-261-0/+3