summaryrefslogtreecommitdiff
path: root/citools/jenkins-build.sh
Commit message (Expand)AuthorAgeFilesLines
* improve jenkinks ci script to cope with coverage and install without testVincent Sanders2013-05-101-28/+78
* Add ci system toolsVincent Sanders2013-05-101-0/+66