From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Wed, 25 Dec 2019 01:21:54 +0000 (+0000)
Subject: tests/filter/check: Enable pipefail
X-Git-Tag: subdirmk/0.3~104
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ian/git?p=subdirmk.git;a=commitdiff_plain;h=b809edc47e57f527900230cd744352faec4411c5;hp=78995cd20340b0a913870b10c096eb85fdc5f1a9;ds=sidebyside

tests/filter/check: Enable pipefail

So we must use bash.

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

diff --git a/tests/filter/check b/tests/filter/check
index 18ead3e..35db4ed 100755
--- a/tests/filter/check
+++ b/tests/filter/check
@@ -1,5 +1,6 @@
-#!/bin/sh
+#!/bin/bash
 set -e
+set -o pipefail
 
 cd tests/filter