[python] garbage collector does not print anything

Change-Id: I7da630ea530424878b8ca1f35117fdac67ab574c
This commit is contained in:
Émilie Feral
2017-08-17 16:01:23 +02:00
parent b50296d9c2
commit adff9d1ef0

View File

@@ -52,7 +52,7 @@ void gc_collect(void) {
// FIXME
//gc_collect_root(&dummy, ((mp_uint_t)stack_top - (mp_uint_t)&dummy) / sizeof(mp_uint_t));
gc_collect_end();
gc_dump_info();
//gc_dump_info();
#endif
}