tree c7518b1f56c6c0e38d11bcef7efd5387ba4643bd
parent 2200f12094d57deb81ee7b199077a0966583917e
author Gilles Peskine <Gilles.Peskine@arm.com> 1671188619 +0100
committer Manuel Pégourié-Gonnard <manuel.pegourie-gonnard@arm.com> 1671441430 +0100

Simplify the coverage statistics summary

The script was parsing the output from `make lcov` to extract numbers and
calculate percentages. But everything including the percentages is already
present in the output of `make lcov`, just with a slightly different
presentation. So replace all this by a simple extraction of the relevant
lines from the output of `make lcov`.

This is more robust than the previous code, which relied on `tail -n4` to
extract relevant lines, which broke when `make lcov` started to emit one
extra line at the end.

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>