tree 947d9cd430468147d5c3ecd0fe74e6761fa420dd
parent 7f8e2770fa60e355bb9f305fb840ab6f702efe34
author Gilles Peskine <Gilles.Peskine@arm.com> 1627937620 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1627937620 +0200

Show warnings if something looks wrong

This makes no difference to the output.

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