From 8a4a3caf65d5c75327a0d2d4d85a925a561ed174 Mon Sep 17 00:00:00 2001 From: Bartek Szatkowski Date: Thu, 19 Jan 2017 11:53:53 +0000 Subject: [PATCH] sleep: make sleep/deepsleep static --- platform/sleep.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/platform/sleep.h b/platform/sleep.h index 2d17a48246..013bef1db1 100644 --- a/platform/sleep.h +++ b/platform/sleep.h @@ -42,7 +42,7 @@ extern "C" { * Flash re-programming and the USB serial port will remain active, but the mbed program will no longer be * able to access the LocalFileSystem */ -__INLINE void sleep(void) +__INLINE static void sleep(void) { #ifdef NDEBUG #if DEVICE_SLEEP @@ -67,7 +67,7 @@ __INLINE void sleep(void) * Flash re-programming and the USB serial port will remain active, but the mbed program will no longer be * able to access the LocalFileSystem */ -__INLINE void deepsleep(void) +__INLINE static void deepsleep(void) { #ifdef NDEBUG #if DEVICE_SLEEP