tree 6195b032a39a24186d2831e36167c11757030785
parent b94ea51ad022e0985f59b60cafa1017797996f9d
author Gilles Peskine <Gilles.Peskine@arm.com> 1615340077 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1615414955 +0100

generate_psa_tests.py: allow generating each file independently

Generating all files all the time makes debugging one specific target
harder. So support generating a selection of targets only.

As a bonus, it is now more apparent what files this script generates,
and check-generated-files.sh takes advantage of it.

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