From 8c7e4defbcb43550ece45996fa95c856f265adee Mon Sep 17 00:00:00 2001 From: Maxim Kuvyrkov Date: Fri, 9 Jul 2021 14:12:16 +0000 Subject: tcwg_gnu-build.sh: Fix broken pipe from "head" Change-Id: If00aa62fed1882fc0f89f5a47d362112dc32ec3c --- tcwg_gnu-build.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/tcwg_gnu-build.sh b/tcwg_gnu-build.sh index a3e23837..4acc6a17 100755 --- a/tcwg_gnu-build.sh +++ b/tcwg_gnu-build.sh @@ -164,7 +164,8 @@ no_regression_p () reg_lines=$(cat $run_step_artifacts/results.compare$i | wc -l) reg_lines=$(($reg_lines-100)) cat $run_step_artifacts/results.compare$i | sed -e "s/^/# /" \ - | head -n100 > $run_step_artifacts/results.regressions + | (head -n100; cat >/dev/null) \ + > $run_step_artifacts/results.regressions if [ $reg_lines -gt 0 ]; then echo "# ... and $reg_lines more entries" \ >> $run_step_artifacts/results.regressions -- cgit v1.2.3