1 files changed, 11 insertions, 0 deletions
diff --git a/stm/printf.c b/stm/printf.c
index a0620018cc..7bac07ab72 100644
--- a/stm/printf.c
+++ b/stm/printf.c
@@ -267,6 +267,17 @@ int vprintf(const char *fmt, va_list ap) {
     return pfenv_printf(&pfenv_stdout, fmt, ap);
 }
 
+#if MICROPY_DEBUG_PRINTERS
+int DEBUG_printf(const char *fmt, ...) {
+    (void)stream;
+    va_list ap;
+    va_start(ap, fmt);
+    int ret = pfenv_printf(&pfenv_stdout, fmt, ap);
+    va_end(ap);
+    return ret;
+}
+#endif
+
 // need this because gcc optimises printf("%c", c) -> putchar(c), and printf("a") -> putchar('a')
 int putchar(int c) {
     char chr = c;