From 7d7c9b99d79a4fdf6ac3e23b464be5461f132c13 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Tue, 8 Jun 2021 18:21:33 +0100
Subject: [PATCH] make-release: Set pipefail

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---
 make-release | 1 +
 1 file changed, 1 insertion(+)

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; }
 
-- 
2.30.2