jenkins: tweak openbsd configuration
authorJustus Winter <justus@g10code.com>
Thu, 26 Jan 2017 12:53:22 +0000 (13:53 +0100)
committerJustus Winter <justus@g10code.com>
Thu, 26 Jan 2017 12:53:22 +0000 (13:53 +0100)
commitf3e5af9fb68b7f499ce76b0a05a8eeb0f14aab78
tree7ee29e41b2836db782be3f7cf0739f47527108d6
parent53ee4cb029d6459897fc5db76aa0ba829de7b845
jenkins: tweak openbsd configuration
misc/jenkins/README.org
misc/jenkins/bin/build.bash