diff options
author | Holger Levsen <holger@layer-acht.org> | 2015-12-18 14:46:57 +0100 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-12-18 14:46:57 +0100 |
commit | 0d22990497fa790ea01ef6e93513f7123c189dfc (patch) | |
tree | e12935cbce3e873989f16778580a5a10b13019f4 /hosts/wbq0-armhf-rb/etc | |
parent | 1ac3a03f9a48b2e7a5f81c445cae598fa4b4fddd (diff) | |
download | jenkins.debian.net-0d22990497fa790ea01ef6e93513f7123c189dfc.tar.xz |
reproducible archlinux: detect if schroot session cannot be closed properly, then retry, else abort loudly
Diffstat (limited to 'hosts/wbq0-armhf-rb/etc')
0 files changed, 0 insertions, 0 deletions