Fix MBED_ERROR call in init_os_timer

2020-10-12 12:05:38 -04:00 · 2020-10-12 12:05:38 -04:00 · 7571982606
parent ad40b1b267
commit 7571982606
1 changed files with 5 additions and 1 deletions
--- a/platform/source/mbed_os_timer.cpp
+++ b/platform/source/mbed_os_timer.cpp
@ -52,7 +52,11 @@ OsTimer *init_os_timer()
 #elif DEVICE_USTICKER
        os_timer = new (os_timer_data) OsTimer(get_us_ticker_data());
 #else
-        MBED_ERROR("OS timer not available");
+        MBED_ERROR(
+            MBED_MAKE_ERROR(
+                MBED_MODULE_PLATFORM,
+                MBED_ERROR_CODE_CONFIG_UNSUPPORTED),
+            "OS timer not available");
 #endif
    }