- created jitcache-arm-x86 branch

[cacao.git] / src / vmcore / options.h

diff --git a/src/vmcore/options.h b/src/vmcore/options.h
index ca4e09666c6ab77c0eab2078ee93a508260f1a72..6bc04c8411faef05ead51730389f499d7310ac6e 100644 (file)
--- a/src/vmcore/options.h
+++ b/src/vmcore/options.h
@@ -183,6 +183,9 @@ extern int      opt_ThreadStackSize;
 
 extern int      opt_DebugExceptions;
 extern int      opt_DebugFinalizer;
+#if defined(ENABLE_JITCACHE)
+extern int   opt_DebugJitCache;
+#endif
 extern int      opt_DebugLocalReferences;
 extern int      opt_DebugLocks;
 extern int      opt_DebugPatcher;