diff --git a/scripts/run-regtests.sh b/scripts/run-regtests.sh index 80353de90..e648fa0ae 100755 --- a/scripts/run-regtests.sh +++ b/scripts/run-regtests.sh @@ -454,7 +454,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 -E -- "^(----|\* diag)" "$i/LOG") EOF done' sh {} + fi