commit 5a7fe145906a165e4755efb51f7d75e4614b0667
author Hanno Becker <hanno.becker@arm.com> Wed Sep 05 16:24:34 2018 +0100
committer Hanno Becker <hanno.becker@arm.com> Wed Sep 05 16:24:44 2018 +0100
tree 16aabd814be64c349464310a3b4de539f5ca7ebf
parent 9fbbf1c1f03e74deb7550b0ca235097587b12981

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.

include/mbedtls/platform_util.h

diff --git a/include/mbedtls/platform_util.h b/include/mbedtls/platform_util.h
index 66a8221..e62a3af 100644
--- a/include/mbedtls/platform_util.h
+++ b/include/mbedtls/platform_util.h
@@ -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 */