mirror of
https://github.com/ARMmbed/mbedtls.git
synced 2025-05-20 23:46:44 +08:00

This is necessary if you haven't run `make generated_files` first. Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
This is necessary if you haven't run `make generated_files` first. Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>