| commit | 409c688c4b595db2e178e805260fbfbbb9de5fd7 | [log] [tgz] |
|---|---|---|
| author | Gilles Peskine <Gilles.Peskine@arm.com> | Sat Jul 26 00:15:21 2025 +0200 |
| committer | Gilles Peskine <Gilles.Peskine@arm.com> | Sat Jul 26 00:17:57 2025 +0200 |
| tree | 422ea5f82f04a655f11d87e95183613572b35212 | |
| parent | 1b4bfdf554e3badaf65c34a20becd00694d8b8cf [diff] [blame] |
Include mbedtls/platform_time.h conditionally on MBEDTLS_HAVE_TIME Work around https://github.com/Mbed-TLS/TF-PSA-Crypto/issues/393 Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
diff --git a/scripts/data_files/query_config.fmt b/scripts/data_files/query_config.fmt index 559734a..c60458b 100644 --- a/scripts/data_files/query_config.fmt +++ b/scripts/data_files/query_config.fmt
@@ -12,6 +12,11 @@ #include "mbedtls/platform.h" #include <string.h> +/* Work around https://github.com/Mbed-TLS/TF-PSA-Crypto/issues/393 */ +#if defined(MBEDTLS_HAVE_TIME) +#include <mbedtls/platform_time.h> +#endif + INCLUDE_HEADERS /*