diff options
| author | Damien George <damien.p.george@gmail.com> | 2015-01-11 17:28:27 +0000 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2015-01-16 18:03:01 +0000 |
| commit | 3926c72dd2c6c9bfc4840f914be5a55258d3a248 (patch) | |
| tree | 02f3901960bc77581a01aa3eba336d6c2e7b198d /unix/main.c | |
| parent | 963a5a3e82ded7ee75adae72ae7cb14796fa150e (diff) | |
unix: Add target to build "minimal" uPy interpreter.
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 346324e7c..286af78e6 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(); |