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/jenkins/etc/shorewall/params | |
| 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/jenkins/etc/shorewall/params')
0 files changed, 0 insertions, 0 deletions