diff options
| author | Paul Sokolovsky <pfalcon@users.sourceforge.net> | 2014-05-09 22:09:10 +0300 |
|---|---|---|
| committer | Paul Sokolovsky <pfalcon@users.sourceforge.net> | 2014-05-09 22:09:10 +0300 |
| commit | affa870cc2eca5c0091bcb7f16507918217a959a (patch) | |
| tree | b83683ee2d84e423cc00cf630ebb688430a119c4 /py | |
| parent | d25cba4f642e50e2f713b48f5f079036b352f72d (diff) | |
| parent | 5ed284a15e028e0435f3b6e0773e14225d8f165d (diff) | |
| download | micropython-affa870cc2eca5c0091bcb7f16507918217a959a.tar.gz micropython-affa870cc2eca5c0091bcb7f16507918217a959a.zip | |
Merge pull request #575 from stinos/windows-modtime
Add modtime implementation for mingw
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) { |