diff options
Diffstat (limited to 'byterun/config.h')
| -rw-r--r-- | byterun/config.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/byterun/config.h b/byterun/config.h index b2e79aa19a..da9612489c 100644 --- a/byterun/config.h +++ b/byterun/config.h @@ -74,7 +74,7 @@ typedef struct { uint32 l, h; } uint64, int64; /* We use threaded code interpretation if the compiler provides labels as first-class values (GCC 2.x). */ -#if defined(__GNUC__) && __GNUC__ >= 2 && !defined(DEBUG) && !defined (SHRINKED_GNUC) +#if defined(__GNUC__) && __GNUC__ >= 2 && !defined(DEBUG) && !defined (SHRINKED_GNUC) && !defined(CAML_JIT) #define THREADED_CODE #endif |