py, unix: Add -v option, print bytecode dump if used.

This will work if MICROPY_DEBUG_PRINTERS is defined, which is only for
unix/windows ports. This makes it convenient to user uPy normally, but
easily get bytecode dump on the spot if needed, without constant recompiles
back and forth.

TODO: Add more useful debug output, adjust verbosity level on which
specifically bytecode dump happens.

1 files changed, 2 insertions, 0 deletions

diff --git a/py/misc.h b/py/misc.h
index 0c8161d10..5eb662409 100644
--- a/py/misc.h
+++ b/py/misc.h
@@ -156,4 +156,6 @@ void vstr_vprintf(vstr_t *vstr, const char *fmt, va_list ap);
 // Debugging helpers
 int DEBUG_printf(const char *fmt, ...);
 
+extern uint mp_verbose_flag;
+
 #endif // _INCLUDED_MINILIB_H