* 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 0861d0e6f728bff5c5c8dc4e897483d5b928e4ca..460f595dc7a513b3b5f16ce390e558da6e3ba527 100644 (file)
--- a/src/vm/options.h
+++ b/src/vm/options.h
@@ -182,6 +182,7 @@ extern int      opt_ThreadStackSize;
 
 /* Debugging options which can be turned off. */
 
+extern bool     opt_AlwaysEmitLongBranches;
 extern int      opt_DebugExceptions;
 extern int      opt_DebugFinalizer;
 #if defined(ENABLE_JITCACHE)