From 5a7fe145906a165e4755efb51f7d75e4614b0667 Mon Sep 17 00:00:00 2001
From: Hanno Becker <hanno.becker@arm.com>
Date: Wed, 5 Sep 2018 16:24:34 +0100
Subject: [PATCH] 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 | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/include/mbedtls/platform_util.h b/include/mbedtls/platform_util.h
index 66a822131..e62a3af4e 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 */