* merged default branch into jitcache-arm-x86 branch

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

diff --git a/src/vm/options.h b/src/vm/options.h
index 1758add5c3a757ba8858a35ad51f1177f1d29667..460f595dc7a513b3b5f16ce390e558da6e3ba527 100644 (file)
--- a/src/vm/options.h
+++ b/src/vm/options.h
@@ -185,6 +185,9 @@ extern int      opt_ThreadStackSize;
 extern bool     opt_AlwaysEmitLongBranches;
 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;