diff options
author | Joerg Jaspert <joerg@debian.org> | 2016-01-06 23:15:25 +0100 |
---|---|---|
committer | Joerg Jaspert <joerg@debian.org> | 2016-01-06 23:15:25 +0100 |
commit | 611ba4e0d9ee7d83da4630f33bc90b1ea5320f58 (patch) | |
tree | bb7ff93fb288f8d1d875e3c569e34b516be6c79a /mirrorcheck/bin/dmc-archive.pl | |
parent | 7a38c0ceb5792d45ac58baa4b98d5104f9ad1708 (diff) |
Revert "Revert "Add pipefail option""
This reverts commit dc6d6030549c26becc6506f3ed7903b2168ba93c.
Signed-off-by: Joerg Jaspert <joerg@debian.org>
Diffstat (limited to 'mirrorcheck/bin/dmc-archive.pl')
0 files changed, 0 insertions, 0 deletions