jenkins: use target check-all if available
authorJustus Winter <justus@g10code.com>
Fri, 14 Jul 2017 12:16:43 +0000 (14:16 +0200)
committerJustus Winter <justus@g10code.com>
Fri, 14 Jul 2017 12:16:43 +0000 (14:16 +0200)
commit91aac71723e2d6dc345da9a56c44f1645d567065
treef84e20671786087aeebbe75ce5be76e5c920d951
parent1c0c36f9fa441fc9df6ca172c8f57855322e9f0e
jenkins: use target check-all if available
misc/jenkins/bin/build.bash