jenkins: fix PATH in build script
authorJustus Winter <justus@g10code.com>
Wed, 11 Jan 2017 12:50:00 +0000 (13:50 +0100)
committerJustus Winter <justus@g10code.com>
Wed, 11 Jan 2017 12:50:00 +0000 (13:50 +0100)
commit538b6dec949b89247963ba90e676c2dd87c32db7
tree3d283f01f4517ffe4fdbfcdf23ae2274fd77dd0f
parentae96d42087437f00937c3f1df37c7be73953bc30
jenkins: fix PATH in build script
misc/jenkins/bin/build.bash