From 23ec248e48f696ae986e2b19cd572ece02a5ba55 Mon Sep 17 00:00:00 2001 From: Takashi Kokubun Date: Mon, 6 Mar 2023 23:17:25 -0800 Subject: s/mjit/rjit/ --- doc/rjit/rjit.md | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'doc') diff --git a/doc/rjit/rjit.md b/doc/rjit/rjit.md index 7f038af88d..1f847f61d5 100644 --- a/doc/rjit/rjit.md +++ b/doc/rjit/rjit.md @@ -22,7 +22,7 @@ The RJIT support for the following platforms is no longer maintained. If you see an "RJIT bindgen" GitHub Actions failure, please commit the `git diff` shown on the failed job. -For doing the same thing locally, run `make mjit-bindgen` after installing libclang. +For doing the same thing locally, run `make rjit-bindgen` after installing libclang. macOS seems to have libclang by default. On Ubuntu, you can install it with `apt install libclang1`. ### Always run make install @@ -30,10 +30,10 @@ macOS seems to have libclang by default. On Ubuntu, you can install it with `apt Always run `make install` before running RJIT. It could easily cause a SEGV if you don't. RJIT looks for the installed header for security reasons. -### --mjit-debug vs --mjit-debug=-ggdb3 +### --rjit-debug vs --rjit-debug=-ggdb3 -`--mjit-debug=[flags]` allows you to specify arbitrary flags while keeping other compiler flags like `-O3`, +`--rjit-debug=[flags]` allows you to specify arbitrary flags while keeping other compiler flags like `-O3`, which is useful for profiling benchmarks. -`--mjit-debug` alone, on the other hand, disables `-O3` and adds debug flags. -If you're debugging RJIT, what you need to use is not `--mjit-debug=-ggdb3` but `--mjit-debug`. +`--rjit-debug` alone, on the other hand, disables `-O3` and adds debug flags. +If you're debugging RJIT, what you need to use is not `--rjit-debug=-ggdb3` but `--rjit-debug`. -- cgit v1.2.1