From 95e4a829377407232c91b18d5a338ed60a0df31f Mon Sep 17 00:00:00 2001 From: Johannes 'josch' Schauer Date: Sat, 4 Jan 2020 01:14:01 +0100 Subject: [PATCH] coverage.sh: redirect to /dev/null instead of --quiet to avoid broken pipe --- coverage.sh | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/coverage.sh b/coverage.sh index 6a12ef7..e76d9ca 100755 --- a/coverage.sh +++ b/coverage.sh @@ -253,7 +253,10 @@ cat << END > shared/test.sh #!/bin/sh set -eu export LC_ALL=C.UTF-8 -$CMD --man | grep --quiet --fixed-strings 'mmdebstrap [OPTION...] [*SUITE* [*TARGET* [*MIRROR*...]]]' + +# we redirect to /dev/null instead of using --quiet to not cause a broken pipe +# when grep exits before mmdebstrap was able to write all its output +$CMD --man | grep --fixed-strings 'mmdebstrap [OPTION...] [*SUITE* [*TARGET* [*MIRROR*...]]]' >/dev/null END if [ "$HAVE_QEMU" = "yes" ]; then ./run_qemu.sh