diff --git a/scripts/run-regtests.sh b/scripts/run-regtests.sh index f4bc87711..d10a43e24 100755 --- a/scripts/run-regtests.sh +++ b/scripts/run-regtests.sh @@ -464,7 +464,7 @@ if [ -d "${TESTDIR}" ]; then cat <<- EOF | tee -a "$TESTDIR/failedtests.log" $(echo "###### $(cat "$i/INFO") ######") $(echo "## test results in: \"$i\"") -$(grep -- ---- "$i/LOG") +$(grep -- ^---- "$i/LOG") EOF done' sh {} + fi