diff --git a/scripts/run-regtests.sh b/scripts/run-regtests.sh index 7e185e5c6..912ac94f0 100755 --- a/scripts/run-regtests.sh +++ b/scripts/run-regtests.sh @@ -399,6 +399,7 @@ if [ -d "${TESTDIR}" ]; then cat <<- EOF | tee -a "$TESTDIR/failedtests.log" $(echo "###### $(cat "$i/INFO") ######") $(echo "## test results in: \"$i\"") +$(echo "## test log file: $i/LOG") $(grep -E -- "^(----|\* diag)" "$i/LOG") EOF done' sh {} +