jenkins: add a sanitizer target
authorJustus Winter <justus@g10code.com>
Tue, 3 Jan 2017 12:22:26 +0000 (13:22 +0100)
committerJustus Winter <justus@g10code.com>
Wed, 11 Jan 2017 11:05:07 +0000 (12:05 +0100)
commite83f04fdf5ebd962958228fd8ebbbb263615bb35
treef43c4d52906bf7e717c4dbbf4ed7f69dc9266202
parentf82f0c36c69dc8099d447e640e062b2eaed4dfd9
jenkins: add a sanitizer target
misc/jenkins/bin/build.bash