From da2d2b6d884201f2cbb23f74c6c5557e30fb1f14 Mon Sep 17 00:00:00 2001
From: Damien George
Date: Thu, 2 Aug 2018 14:04:44 +1000
Subject: py/mpconfig.h: Introduce MICROPY_DEBUG_PRINTER for debugging output.

This patch in effect renames MICROPY_DEBUG_PRINTER_DEST to
MICROPY_DEBUG_PRINTER, moving its default definition from
lib/utils/printf.c to py/mpconfig.h to make it official and documented, and
makes this macro a pointer rather than the actual mp_print_t struct.  This
is done to get consistency with MICROPY_ERROR_PRINTER, and provide this
macro for use outside just lib/utils/printf.c.

Ports are updated to use the new macro name.
---
 py/mpconfig.h | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'py')

diff --git a/py/mpconfig.h b/py/mpconfig.h
index 8b0f291cb..6396850b3 100644
--- a/py/mpconfig.h
+++ b/py/mpconfig.h
@@ -366,6 +366,11 @@
 #define MICROPY_MEM_STATS (0)
 #endif
 
+// The mp_print_t printer used for debugging output
+#ifndef MICROPY_DEBUG_PRINTER
+#define MICROPY_DEBUG_PRINTER (&mp_plat_print)
+#endif
+
 // Whether to build functions that print debugging info:
 //   mp_bytecode_print
 //   mp_parse_node_print
-- 
cgit v1.2.3