mirror of
https://github.com/Mbed-TLS/mbedtls.git
synced 2025-02-04 15:39:53 +00:00
b32966dd92
`check-generated-files -u` aborted if one of the generated files didn't exist. Now it treats a missing file as an out-of-date file. Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>