From 429e3f077e8034d934cf5decdb77bdd64a130808 Mon Sep 17 00:00:00 2001 From: Paul Sokolovsky Date: Sun, 26 Oct 2014 23:20:22 +0200 Subject: unix: Make -v dump memory info at exit. Also, move bytecode dumps to -v -v, because they're too verbose for just -v. --- unix/main.c | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'unix/main.c') diff --git a/unix/main.c b/unix/main.c index 7bfa96b27..780f159ef 100644 --- a/unix/main.c +++ b/unix/main.c @@ -506,6 +506,10 @@ int main(int argc, char **argv) { ret = do_repl(); } + if (mp_verbose_flag) { + mem_info(0, NULL); + } + mp_deinit(); #if MICROPY_ENABLE_GC && !defined(NDEBUG) -- cgit v1.2.3