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 /etc | |
| parent | 7a38c0ceb5792d45ac58baa4b98d5104f9ad1708 (diff) | |
Revert "Revert "Add pipefail option""
This reverts commit dc6d6030549c26becc6506f3ed7903b2168ba93c.
Signed-off-by: Joerg Jaspert <joerg@debian.org>
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions