diff options
author | Mike Pall <mike> | 2014-02-27 12:25:13 +0100 |
---|---|---|
committer | Mike Pall <mike> | 2014-02-27 12:25:13 +0100 |
commit | 900d0ce2764008c5326340bc66265e79222128b0 (patch) | |
tree | e05bf7f87e6a9be8c72be9ec66e09c4930663b8e | |
parent | 6a47e123a4339e33a7942525a19348cd2068b057 (diff) | |
download | luajit-900d0ce2764008c5326340bc66265e79222128b0.tar.gz luajit-900d0ce2764008c5326340bc66265e79222128b0.tar.bz2 luajit-900d0ce2764008c5326340bc66265e79222128b0.zip |
Fix for -jdump docs.
-rw-r--r-- | src/jit/dump.lua | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/jit/dump.lua b/src/jit/dump.lua index a11741c6..fe57af8f 100644 --- a/src/jit/dump.lua +++ b/src/jit/dump.lua | |||
@@ -36,6 +36,7 @@ | |||
36 | -- * m Dump the generated machine code. | 36 | -- * m Dump the generated machine code. |
37 | -- x Print each taken trace exit. | 37 | -- x Print each taken trace exit. |
38 | -- X Print each taken trace exit and the contents of all registers. | 38 | -- X Print each taken trace exit and the contents of all registers. |
39 | -- a Print the IR of aborted traces, too. | ||
39 | -- | 40 | -- |
40 | -- The output format can be set with the following characters: | 41 | -- The output format can be set with the following characters: |
41 | -- | 42 | -- |