diff options
Diffstat (limited to 'py')
| -rw-r--r-- | py/runtime.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/py/runtime.c b/py/runtime.c index 7a701fec57..f8eac40609 100644 --- a/py/runtime.c +++ b/py/runtime.c @@ -91,6 +91,11 @@ void mp_deinit(void) { //mp_obj_dict_free(&dict_main); mp_module_deinit(); mp_emit_glue_deinit(); + + // call port specific deinitialization if any +#ifdef MICROPY_PORT_INIT_FUNC + MICROPY_PORT_DEINIT_FUNC; +#endif } mp_obj_t mp_load_const_dec(qstr qstr) { |