diff options
Diffstat (limited to 'doc/mjit/mjit.md')
-rw-r--r-- | doc/mjit/mjit.md | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/doc/mjit/mjit.md b/doc/mjit/mjit.md deleted file mode 100644 index 4d345a95ae..0000000000 --- a/doc/mjit/mjit.md +++ /dev/null @@ -1,16 +0,0 @@ -# MJIT - -Here are some tips that might be useful when you work on MJIT: - -## Always run make install - -Always run `make install` before running MJIT. It could easily cause a SEGV if you don't. -MJIT looks for the installed header for security reasons. - -## --mjit-debug vs --mjit-debug=-ggdb3 - -`--mjit-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 MJIT, what you need to use is not `--mjit-debug=-ggdb3` but `--mjit-debug`. |