jenkins: use more jobs
authorJustus Winter <justus@g10code.com>
Tue, 3 Jan 2017 09:41:39 +0000 (10:41 +0100)
committerJustus Winter <justus@g10code.com>
Wed, 11 Jan 2017 11:05:07 +0000 (12:05 +0100)
commitf82f0c36c69dc8099d447e640e062b2eaed4dfd9
tree335d7b721f11a3dc2507d29cd5106a9183f1b99d
parent537908a28758e0816ed956182a6a84981764401e
jenkins: use more jobs
misc/jenkins/bin/build.bash