diff options
| author | Paul Sokolovsky <pfalcon@users.sourceforge.net> | 2016-04-13 11:46:18 +0300 |
|---|---|---|
| committer | Paul Sokolovsky <pfalcon@users.sourceforge.net> | 2016-04-13 11:53:12 +0300 |
| commit | 47442d9f526c7118b56c7cd963862256a3154a54 (patch) | |
| tree | 5fa56d34d151f0aef5979ab6d7cc34f8a22a6bc2 /unix/mpconfigport.h | |
| parent | 22cbcd55f0446e4fc75d54a136e8d3a791d2b722 (diff) | |
lib/utils/printf: Rework overriding printer of DEBUG_printf().
By default it uses mp_plat_print, but a port may override it to another
value with MICROPY_DEBUG_PRINTER_DEST.
Diffstat (limited to 'unix/mpconfigport.h')
| -rw-r--r-- | unix/mpconfigport.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/unix/mpconfigport.h b/unix/mpconfigport.h index daaac4395..1a6eb6f8d 100644 --- a/unix/mpconfigport.h +++ b/unix/mpconfigport.h @@ -51,7 +51,9 @@ #define MICROPY_MALLOC_USES_ALLOCATED_SIZE (1) #define MICROPY_MEM_STATS (1) #define MICROPY_DEBUG_PRINTERS (1) -#define MICROPY_DEBUG_STDERR (1) +// Printing debug to stderr may give tests which +// check stdout a chance to pass, etc. +#define MICROPY_DEBUG_PRINTER_DEST mp_stderr_print #define MICROPY_USE_READLINE_HISTORY (1) #define MICROPY_HELPER_REPL (1) #define MICROPY_REPL_EMACS_KEYS (1) |