tree 38abf304a3a03119944b7c164f156191bb089836
parent b8d3b815975243bc49bc41d855285a0db0c19914
author Gilles Peskine <Gilles.Peskine@arm.com> 1764857524 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1767810260 +0100

Actually fail if `--check` fails

Return a nonzero status if called with `--check` and the check finds some
problems.

Fixes #244.

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