tree edfe121d50a81f239a02b33ffd9b7fcd786b1448
parent 749a0d7be8d2a70443e553c1d26f86cb8b8c66fe
author Gilles Peskine <Gilles.Peskine@arm.com> 1669912896 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1669912896 +0100

You need --coverage when linking as well

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