diff options
author | Mattia Rizzolo <mattia@debian.org> | 2016-06-03 09:16:46 +0000 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2016-06-03 11:19:06 +0200 |
commit | bb5d23e64622020df5f1d3113940bfe3f4ad34f5 (patch) | |
tree | 06dcddddcf2ee4ae95eb95a994c20403003084b4 /hosts/wbd0-armhf-rb | |
parent | 014ba6b75f581ea333c4f9324ddc59254e695ab5 (diff) | |
download | jenkins.debian.net-bb5d23e64622020df5f1d3113940bfe3f4ad34f5.tar.xz |
reproducible archlinux: properly cleanup before aborting the job
Diffstat (limited to 'hosts/wbd0-armhf-rb')
0 files changed, 0 insertions, 0 deletions