summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--mjit.c3
1 files changed, 3 insertions, 0 deletions
diff --git a/mjit.c b/mjit.c
index 1f90ac0007..bf2f26deeb 100644
--- a/mjit.c
+++ b/mjit.c
@@ -87,6 +87,9 @@ mjit_gc_exit_hook(void)
void
mjit_cancel_all(const char *reason)
{
+ if (!mjit_enabled)
+ return;
+
mjit_call_p = false;
if (mjit_opts.warnings || mjit_opts.verbose) {
fprintf(stderr, "JIT cancel: Disabled JIT-ed code because %s\n", reason);