diff options
Diffstat (limited to 'mjit.c')
-rw-r--r-- | mjit.c | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -802,7 +802,9 @@ mjit_pause(bool wait_p) } } + mjit_pause_wait_p = wait_p; // Avoid cancelling the last compilation after the unit fetch if wait_p. stop_worker(); + mjit_pause_wait_p = false; return Qtrue; } |