Diff options
Diffstat (limited to 'tests/aggregate-results.sh')
| -rw-r--r-- | tests/aggregate-results.sh | 11 |
1 file changed, 11 insertions, 0 deletions
diff --git a/tests/aggregate-results.sh b/tests/aggregate-results.sh index 27ac1df..2cb9e18 100644 --- a/tests/aggregate-results.sh +++ b/tests/aggregate-results.sh @@ -22,6 +22,17 @@ do then failed_scripts="$failed_scripts $name" fi + # setup.sh fails a script that leaves a sanitizer report, and this + # makes sure of it. + for report in "test-results/$name.sanitizer".* + do + test -f "$report" || continue + echo "sanitizer report: $report" + case " $failed_scripts " in + *" $name "*) ;; + *) failed_scripts="$failed_scripts $name" ;; + esac + done test -f "test-results/$name.counts" || continue total=0 success=0 fixed=0 broken=0 failure=0 prereqs= |