summaryrefslogtreecommitdiffstats
path: root/contrib/jenkins-build-common.sh
AgeCommit message (Expand)AuthorFilesLines
2017-09-07jenkins: properly clean previous artifactsNeels Hofmeyr1-1/+1
2017-09-07jenkins-common: ensure requested binaries indeed have been builtNeels Hofmeyr1-0/+9
2017-09-05jenkins: per build, drop programs built "unintentionally"Neels Hofmeyr1-0/+16
2017-07-06contrib: Disable doxygen doc generationPau Espin Pedrol1-4/+0
2017-07-05contrib: Fix removal of doc directoriesPau Espin Pedrol1-1/+1
2017-06-23jenkins: fix: recent change broke jenkins buildNeels Hofmeyr1-6/+5
2017-06-23jenkins-build-common.sh: cosmetic: clear repos a bit laterNeels Hofmeyr1-1/+1
2017-06-23jenkins-build-common.sh: fix being stuck on branchNeels Hofmeyr1-1/+3
2017-06-02jenkins: extract common parts of build scripts to separate fileNeels Hofmeyr1-0/+152