From 7c45b6767b8b00e629fffdc5425fd62259f2826b Mon Sep 17 00:00:00 2001
From: Gilles Peskine <Gilles.Peskine@arm.com>
Date: Fri, 25 Feb 2022 15:26:13 +0100
Subject: [PATCH] Fix the build when MBEDTLS_PLATFORM_C is unset

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
---
 programs/test/dlopen.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/programs/test/dlopen.c b/programs/test/dlopen.c
index 2ee531645..62c85544c 100644
--- a/programs/test/dlopen.c
+++ b/programs/test/dlopen.c
@@ -23,8 +23,9 @@
 #include MBEDTLS_CONFIG_FILE
 #endif
 
+#if defined(MBEDTLS_PLATFORM_C)
 #include "mbedtls/platform.h"
-#if !defined(MBEDTLS_PLATFORM_C)
+#else
 #include <stdio.h>
 #include <stdlib.h>
 #define mbedtls_fprintf    fprintf