mirror of
https://github.com/ARMmbed/mbedtls.git
synced 2025-06-02 10:43:10 +08:00

This has been the case when building with make since d3d8a64dfa7c1b006c854b45f47e10261cf0019a. Be consistent. Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>