diff options
author | Holger Levsen <holger@layer-acht.org> | 2015-02-06 11:26:06 +0100 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-02-06 11:26:06 +0100 |
commit | 241a08af4dc322a58bbfda8f2cf948e40d870cd6 (patch) | |
tree | 5d88624c45647aa2c9c484e634ca2894f9d2df5d /debian/copyright | |
parent | 815dadbbe03f63c4799e9c4330fd97a3e1a1a65f (diff) | |
download | jenkins.debian.net-241a08af4dc322a58bbfda8f2cf948e40d870cd6.tar.xz |
chroot-installation: use 'set -o pipefail' to really catch all the failures, thanks wRAR for the hint
Diffstat (limited to 'debian/copyright')
0 files changed, 0 insertions, 0 deletions