jenkins: disable python bindings for the sanitizer target
authorJustus Winter <justus@g10code.com>
Tue, 3 Jan 2017 14:18:00 +0000 (15:18 +0100)
committerJustus Winter <justus@g10code.com>
Wed, 11 Jan 2017 11:05:07 +0000 (12:05 +0100)
commit7baf4445fe3fa7119970bd3f1d7b6ea1d22ace06
treec5064ca997337aeb5c17965e529fbbb47ab69a64
parente83f04fdf5ebd962958228fd8ebbbb263615bb35
jenkins: disable python bindings for the sanitizer target
misc/jenkins/bin/build.bash