mirror of
https://github.com/Mbed-TLS/mbedtls.git
synced 2025-03-23 16:20:49 +00:00
Avoid having to list multiple generation scripts on the same line. No intended semantic change. Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>