diff options
| author | Mike Pall <mike> | 2011-01-22 20:32:23 +0100 |
|---|---|---|
| committer | Mike Pall <mike> | 2011-01-22 20:32:23 +0100 |
| commit | f529d22869429d458c5382cf6787f213d7bd5296 (patch) | |
| tree | 54c17195b7a88a67907daffbc94caed4387b63a5 /doc | |
| parent | e985aeda84d8af63c4bfaa176c3312dfb2f7f230 (diff) | |
| download | luajit-f529d22869429d458c5382cf6787f213d7bd5296.tar.gz luajit-f529d22869429d458c5382cf6787f213d7bd5296.tar.bz2 luajit-f529d22869429d458c5382cf6787f213d7bd5296.zip | |
Another fix for the trace flush logic. I'll get this right someday.
Thanks to David Manura.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/ext_jit.html | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/ext_jit.html b/doc/ext_jit.html index fc494382..36e306a8 100644 --- a/doc/ext_jit.html +++ b/doc/ext_jit.html | |||
| @@ -116,9 +116,9 @@ debugging purposes. | |||
| 116 | 116 | ||
| 117 | <h3 id="jit_flush_tr"><tt>jit.flush(tr)</tt></h3> | 117 | <h3 id="jit_flush_tr"><tt>jit.flush(tr)</tt></h3> |
| 118 | <p> | 118 | <p> |
| 119 | Flushes the specified root trace and all of its side traces from the cache. | 119 | Flushes the root trace, specified by its number, and all of its side |
| 120 | The code for the trace will be retained as long as there are any other | 120 | traces from the cache. The code for the trace will be retained as long |
| 121 | traces which link to it. | 121 | as there are any other traces which link to it. |
| 122 | </p> | 122 | </p> |
| 123 | 123 | ||
| 124 | <h3 id="jit_status"><tt>status, ... = jit.status()</tt></h3> | 124 | <h3 id="jit_status"><tt>status, ... = jit.status()</tt></h3> |