jenkins: tweak openbsd configuration
authorJustus Winter <justus@g10code.com>
Wed, 18 Jan 2017 11:33:30 +0000 (12:33 +0100)
committerJustus Winter <justus@g10code.com>
Wed, 18 Jan 2017 11:33:30 +0000 (12:33 +0100)
commit4df7c271f267961c44940c66374e93213795ab17
tree116eb901646a86120e93d3334be6f8858ea03f21
parent78016c09edb65207946c75d57de5da3e381fe807
jenkins: tweak openbsd configuration
misc/jenkins/README.org
misc/jenkins/bin/build.bash