jenkins: keep failed distchecks around for investigation
authorJustus Winter <justus@g10code.com>
Mon, 10 Apr 2017 12:33:31 +0000 (14:33 +0200)
committerJustus Winter <justus@g10code.com>
Mon, 10 Apr 2017 12:33:31 +0000 (14:33 +0200)
commit1106e2a424afd7bf68850fe0e3560b615a6dd694
tree7f620a0d950d0d804b9ba78ae109054bdc360f43
parent619135c390c52fa1c2c9fb86777f93ff8b8812e6
jenkins: keep failed distchecks around for investigation
misc/jenkins/bin/build.bash