summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--mjit.c20
1 files changed, 20 insertions, 0 deletions
@@ -923,6 +923,22 @@ mjit_child_after_fork(void)
start_worker();
}
// Finish the threads processing units and creating PCH, finalize
// and free MJIT data. It should be called last during MJIT
// life.
@@ -958,6 +974,10 @@ mjit_finish(bool close_handle_p)
rb_native_cond_destroy(&mjit_worker_wakeup);
rb_native_cond_destroy(&mjit_gc_wakeup);
#ifndef _MSC_VER // mswin has prebuilt precompiled header
if (!mjit_opts.save_temps && getpid() == pch_owner_pid)
remove_file(pch_file);