* merged with tip (040f180a056b)
[cacao.git] / src / vm / vm.cpp
index cfe607a68a1931a1163d0377def097379d0b00ff..0f099b7c9e7ebe002d85f84e15275f75c03bac2e 100644 (file)
@@ -90,6 +90,7 @@
 #endif
 
 #include "vm/jit/jit.h"
+#include "vm/jit/jitcache.h"
 #include "vm/jit/methodtree.h"
 
 #if defined(ENABLE_PROFILING)
@@ -1937,6 +1938,10 @@ void vm_shutdown(s4 status)
        }       
 #endif
 
+#if defined (ENABLE_JITCACHE)
+  jitcache_quit();
+#endif
+
        exit(status);
 }