diff options
| author | Damien George <damien@micropython.org> | 2023-01-24 16:58:29 +1100 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2023-01-24 16:58:29 +1100 |
| commit | 8a0353525f913f464b9b8a6f610661a0e8fb4fd1 (patch) | |
| tree | b7cb3c6952f7b9df2cbaee7d54020f0f3a7cd0e4 | |
| parent | 1978b838b7b75d2e525771f95f3532cc623419ef (diff) | |
rp2/main: Use mp_printf in nlr_jump_fail.
The mp_plat_print output is already being used by the subsequent call to
mp_obj_print_exception(). And this eliminates all references to printf for
this port (at least in non-debug builds).
Signed-off-by: Damien George <damien@micropython.org>
| -rw-r--r-- | ports/rp2/main.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ports/rp2/main.c b/ports/rp2/main.c index fdcdd90d4..c5b503749 100644 --- a/ports/rp2/main.c +++ b/ports/rp2/main.c @@ -234,7 +234,7 @@ void gc_collect(void) { } void nlr_jump_fail(void *val) { - printf("FATAL: uncaught exception %p\n", val); + mp_printf(&mp_plat_print, "FATAL: uncaught exception %p\n", val); mp_obj_print_exception(&mp_plat_print, MP_OBJ_FROM_PTR(val)); for (;;) { __breakpoint(); |
