Gilles Peskine 0298bdae8d 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>

2021-03-10 23:22:35 +01:00

3.0 KiB

Executable File

Raw Blame History

View Raw