From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Tue, 8 Jun 2021 17:21:33 +0000 (+0100)
Subject: make-release: Set pipefail
X-Git-Tag: otter-0.7.0~9
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=7d7c9b99d79a4fdf6ac3e23b464be5461f132c13;p=otter.git

make-release: Set pipefail

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---

diff --git a/make-release b/make-release
index 1a274700..9823a4c3 100755
--- a/make-release
+++ b/make-release
@@ -8,6 +8,7 @@
 #---------- argument parsing and options ----------
 
 set -e
+set -o pipefail
 
 fail () { echo >&2 "${0##*/}: error: $*"; exit 12; }