Don't include platform_time.h if !MBEDTLS_HAVE_TIME

platform_time.h includes time.h, which is not assumed to be present
on a system where MBEDTLS_HAVE_TIME is not defined.
This commit is contained in:
Hanno Becker 2018-09-05 16:24:34 +01:00
parent 9fbbf1c1f0
commit 5a7fe14590

View file

@ -31,10 +31,9 @@
#include MBEDTLS_CONFIG_FILE
#endif
#include "mbedtls/platform_time.h"
#include <stddef.h>
#if defined(MBEDTLS_HAVE_TIME_DATE)
#include "mbedtls/platform_time.h"
#include <time.h>
#endif /* MBEDTLS_HAVE_TIME_DATE */