diff --git a/scripts/run-regression-tests b/scripts/run-regression-tests index 96b7d74fc..745e3d19d 100755 --- a/scripts/run-regression-tests +++ b/scripts/run-regression-tests @@ -391,7 +391,7 @@ function run_smatch { echo "${errors} errors / ${warnings} warnings." cat "${outputfile}" | grep -E ' info:| warning:| error:' | - sed 's/^\([^:]*\):[0-9:]* /\1: /' | + sed 's/^\([^:]*\):[0-9:]* /\1: /;s/\((see line \)[0-9]*\()\)/\1...\2/' | sort | uniq -c else