diff options
Diffstat (limited to 'unix/main.c')
-rw-r--r-- | unix/main.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/unix/main.c b/unix/main.c index 346324e7cc..286af78e6b 100644 --- a/unix/main.c +++ b/unix/main.c @@ -481,9 +481,11 @@ int main(int argc, char **argv) { ret = do_repl(); } + #if MICROPY_PY_MICROPYTHON_MEM_INFO if (mp_verbose_flag) { mp_micropython_mem_info(0, NULL); } + #endif mp_deinit(); |