jenkins: specialized gpgme build directories for targets
authorJustus Winter <justus@g10code.com>
Tue, 14 Mar 2017 12:00:40 +0000 (13:00 +0100)
committerJustus Winter <justus@g10code.com>
Tue, 14 Mar 2017 12:00:40 +0000 (13:00 +0100)
commitfd06846e220ad3acb726d72e71580615cfbc24ca
tree3681733e39ece8e9db11aa127eb287c384161999
parentd60fbd8f8c3c19dced975f7b707bbd10eadffe11
jenkins: specialized gpgme build directories for targets
misc/jenkins/README.org
misc/jenkins/bin/build.bash