From ed642cab9e6ee5891ab88bc34651194c4ab016c7 Mon Sep 17 00:00:00 2001
From: Gilles Peskine <Gilles.Peskine@arm.com>
Date: Thu, 19 Feb 2026 17:24:34 +0100
Subject: [PATCH] Fix inclusion of <time.h> when MBEDTLS_HAVE_TIME is disabled

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
---
 include/mbedtls/timing.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/include/mbedtls/timing.h b/include/mbedtls/timing.h
index 7a2eb938de..8c15df58e8 100644
--- a/include/mbedtls/timing.h
+++ b/include/mbedtls/timing.h
@@ -23,7 +23,9 @@ extern "C" {
 // Regular implementation
 //
 
+#if defined(MBEDTLS_HAVE_TIME)
 #include <mbedtls/platform_time.h>
+#endif
 
 /**
  * \brief          timer structure