From d802fe8809a0c4344eb03e8d0055041cd103a799 Mon Sep 17 00:00:00 2001 From: Jerzy Kasenberg Date: Fri, 19 Apr 2024 14:33:34 +0200 Subject: [PATCH] coremark: User FLOAT_USER instead of HARDFLOAT Coremark uses float numbers for printing only. Now default value HAS_FLOAT used FLOAT_USER that tells tinyprintf to have support for %f instead of checking if MCU has FPU. Signed-off-by: Jerzy Kasenberg --- util/coremark/repo/include/core_portme.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/util/coremark/repo/include/core_portme.h b/util/coremark/repo/include/core_portme.h index 4d0f03825c..6b15844193 100644 --- a/util/coremark/repo/include/core_portme.h +++ b/util/coremark/repo/include/core_portme.h @@ -29,7 +29,7 @@ Original Author: Shay Gal-on Define to 1 if the platform supports floating point. */ #ifndef HAS_FLOAT -#define HAS_FLOAT MYNEWT_VAL(HARDFLOAT) +#define HAS_FLOAT MYNEWT_VAL(FLOAT_USER) #endif /* Configuration : HAS_TIME_H Define to 1 if platform has the time.h header file,