tree f8232a2d0166bbfdd9b488144d326c0f326db0d8
parent 4579a972bf60f8de78c074b88d871b95a8a7e48a
author Gilles Peskine <Gilles.Peskine@arm.com> 1619188352 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1645538043 +0100

Make the API/ABI check optional

This way we can add other checks and only run a subset of all the
checks. The default remains to run all the checks.

I made separate options for API and ABI, but since we use the same
tool for both and it doesn't have an obvious way to check only API or
only ABI, the two options must be both enabled or both disabled.

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