jenkins: include local bin directory in PATH
authorJustus Winter <justus@g10code.com>
Mon, 8 May 2017 13:59:08 +0000 (15:59 +0200)
committerJustus Winter <justus@g10code.com>
Mon, 8 May 2017 13:59:08 +0000 (15:59 +0200)
commite85064eb86522a0a5a635f1c4e48b62bcabd8a6b
tree250ea3b41c8de4079820b976ef09dae2d35725a7
parentc253cb3fca4d37df3002184367183fa8c010d63f
jenkins: include local bin directory in PATH
misc/jenkins/bin/build.bash