make-release: Set pipefail

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

diff --git a/make-release b/make-release
index 1a274700fad57a3f239e4dbf4593df183b402e06..9823a4c33c45c9d65032273ae8eba25b8f56862d 100755 (executable)
--- 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; }