Commit b6c96f05 authored by Ondřej Surý's avatar Ondřej Surý

Merge branch '1431-summary-sanitizer-grep-is-dangerous' into 'master'

Resolve ""SUMMARY: .*Sanitizer" grep is dangerous"

Closes #1431

See merge request !2669
parents 1e7e0d24 36ce99d8
Pipeline #26689 passed with stages
in 1 minute and 25 seconds
......@@ -191,7 +191,7 @@ if [ $status != 0 ]; then
else
core_dumps="$(find $systest/ -name 'core*' -or -name '*.core' | sort | tr '\n' ' ')"
assertion_failures=$(find $systest/ -name named.run | xargs grep "assertion failure" | wc -l)
sanitizer_summaries=$(grep -r "SUMMARY: .*Sanitizer" $systest/ | wc -l)
sanitizer_summaries=$(find $systest/ -type f | grep '^[-a-zA-Z0-9./_]*$' | xargs grep "SUMMARY: .*Sanitizer" | wc -l)
if [ -n "$core_dumps" ]; then
echoinfo "I:$systest:Test claims success despite crashes: $core_dumps"
echofail "R:$systest:FAIL"
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment