diff options
-rw-r--r-- | mjit.c | 20 |
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); |