diff --git a/scripts/run-regression-tests b/scripts/run-regression-tests index 198355bd7..f0f3dde25 100755 --- a/scripts/run-regression-tests +++ b/scripts/run-regression-tests @@ -384,7 +384,7 @@ function run_smatch { local warnings=$(grep -c ' warning:' "${outputfile}") echo "${errors} errors / ${warnings} warnings." cat "${outputfile}" | - grep -E 'warning:|error:' | + grep -E ' info:| warning:| error:' | sort | uniq -c else