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 /bin/chroot-installation.sh | |
| parent | 014ba6b75f581ea333c4f9324ddc59254e695ab5 (diff) | |
| download | jenkins.debian.net-bb5d23e64622020df5f1d3113940bfe3f4ad34f5.tar.xz | |
reproducible archlinux: properly cleanup before aborting the job
Diffstat (limited to 'bin/chroot-installation.sh')
0 files changed, 0 insertions, 0 deletions