Fix unknown system_get_time()

SmingHub · Jul 6, 2019 · 161114e · 161114e
1 parent 8c9c1f0
commit 161114e
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/Sming/System/include/debug_progmem.h b/Sming/System/include/debug_progmem.h
@@ -16,7 +16,6 @@
 
 #pragma once
 
-#include <stdarg.h>
 #include "FakePgmSpace.h"
 
 #ifdef __cplusplus
@@ -70,6 +69,8 @@ extern "C" {
 #define PROGMEM_DEBUG
 #endif
 
+extern uint32_t system_get_time();
+
 //A static const char[] is defined having a unique name (log_ prefix, filename and line number)
 //This will be stored in the irom section(on flash) freeing up the RAM
 //Next special version of printf from FakePgmSpace is called to fetch and print the message