jenkins: Update build script
authorJustus Winter <justus@g10code.com>
Wed, 14 Dec 2016 13:39:59 +0000 (14:39 +0100)
committerJustus Winter <justus@g10code.com>
Thu, 15 Dec 2016 10:04:15 +0000 (11:04 +0100)
commit878f87e1892e1125e3f57cab7062e88273350a2a
tree4e80d7792313ab7452f13e6dafe3424bbf300d75
parent70e237ec44ca73b2d7fe8f812042e8446306a69b
jenkins: Update build script
misc/jenkins/bin/build.bash