tree ff86950b8cdcf8455c8daa1c3467c6c7517145be
parent 494678a405c08da3e4dd5f184a622360c590efb2
author Gilles Peskine <Gilles.Peskine@arm.com> 1625130809 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1625130809 +0200

Add option to list the generated files and exit

This is useful during the release process, when we want to commit the
generated files.

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