diff options
-rwxr-xr-x | tcwg_gnu-build.sh | 3 |
1 files changed, 2 insertions, 1 deletions
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 |