diff options
Diffstat (limited to 'miasm2/jitter/jitcore_tcc.py')
| -rw-r--r-- | miasm2/jitter/jitcore_tcc.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/miasm2/jitter/jitcore_tcc.py b/miasm2/jitter/jitcore_tcc.py index 856bffc0..36f65f07 100644 --- a/miasm2/jitter/jitcore_tcc.py +++ b/miasm2/jitter/jitcore_tcc.py @@ -121,6 +121,9 @@ class JitCore_Tcc(jitcore.JitCore): include_files = ";".join(include_files) Jittcc.tcc_set_emul_lib_path(include_files, libs) + def __del__(self): + Jittcc.tcc_end() + def jitirblocs(self, label, irblocs): # irbloc = self.lbl2irbloc[lbl] f_name = "bloc_%s" % label.name |