commit c72255fa37807e9777a20a891c8a4969c0926d45
author Gilles Peskine <Gilles.Peskine@arm.com> Fri Oct 01 18:08:41 2021 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> Fri Oct 01 18:08:41 2021 +0200
tree 4e366dfe22ae4186522122f10bbbcc57c27e55f1
parent 621333f41bf594f8924fd1d71e002ac900a35153

Fix the build without MBEDTLS_PLATFORM_C

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>

programs/test/benchmark.c

diff --git a/programs/test/benchmark.c b/programs/test/benchmark.c
index d63009a..7845bee 100644
--- a/programs/test/benchmark.c
+++ b/programs/test/benchmark.c
@@ -50,18 +50,14 @@
 #include MBEDTLS_CONFIG_FILE
 #endif
 
-#if defined(MBEDTLS_PLATFORM_C)
 #include "mbedtls/platform.h"
-#else
+#if !defined(MBEDTLS_PLATFORM_C)
 #include <stdio.h>
 #include <stdlib.h>
 #define mbedtls_exit       exit
 #define mbedtls_printf     printf
-#define mbedtls_snprintf   snprintf
 #define mbedtls_free       free
 #define mbedtls_exit            exit
-#define MBEDTLS_EXIT_SUCCESS    EXIT_SUCCESS
-#define MBEDTLS_EXIT_FAILURE    EXIT_FAILURE
 #endif
 
 #if !defined(MBEDTLS_TIMING_C)