mirror of
https://github.com/Mbed-TLS/mbedtls.git
synced 2026-05-02 08:12:14 +02:00
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>