summaryrefslogtreecommitdiff
path: root/mjit.c
diff options
context:
space:
mode:
Diffstat (limited to 'mjit.c')
-rw-r--r--mjit.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/mjit.c b/mjit.c
index 27a712d8de..63ea937787 100644
--- a/mjit.c
+++ b/mjit.c
@@ -1229,7 +1229,7 @@ check_compaction(void)
void
mjit_notify_waitpid(int exit_code)
{
- VM_ASSERT(current_cc_pid != 0);
+ VM_ASSERT(mjit_opts.wait || current_cc_pid != 0);
current_cc_pid = 0;
// Delete .c file