From 77321ca79e45ed847e69f7e935b6348aac368a32 Mon Sep 17 00:00:00 2001 From: Kevin Bracey Date: Fri, 15 Mar 2019 13:01:39 +0200 Subject: [PATCH] CPU stats don't require low power ticker --- platform/mbed_stats.c | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/platform/mbed_stats.c b/platform/mbed_stats.c index c46f344b36..e2d0a6bf00 100644 --- a/platform/mbed_stats.c +++ b/platform/mbed_stats.c @@ -8,13 +8,12 @@ #include "device.h" #ifdef MBED_CONF_RTOS_PRESENT #include "cmsis_os2.h" -#include "rtos_idle.h" -#elif defined(MBED_STACK_STATS_ENABLED) || defined(MBED_THREAD_STATS_ENABLED) || defined(MBED_CPU_STATS_ENABLED) +#elif defined(MBED_STACK_STATS_ENABLED) || defined(MBED_THREAD_STATS_ENABLED) #warning Statistics are currently not supported without the rtos. #endif -#if defined(MBED_CPU_STATS_ENABLED) && (!DEVICE_LPTICKER || !DEVICE_SLEEP) -#warning CPU statistics are not supported without low power timer support. +#if defined(MBED_CPU_STATS_ENABLED) && (!DEVICE_SLEEP) +#warning CPU statistics are not supported without sleep support. #endif void mbed_stats_cpu_get(mbed_stats_cpu_t *stats)