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/ext_jit.html | |
parent | e985aeda84d8af63c4bfaa176c3312dfb2f7f230 (diff) | |
download | luajit2-f529d22869429d458c5382cf6787f213d7bd5296.tar.gz |
Another fix for the trace flush logic. I'll get this right someday.
Thanks to David Manura.
Diffstat (limited to 'doc/ext_jit.html')
-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. <h3 id="jit_flush_tr"><tt>jit.flush(tr)</tt></h3> <p> -Flushes the specified root trace and all of its side traces from the cache. -The code for the trace will be retained as long as there are any other -traces which link to it. +Flushes the root trace, specified by its number, and all of its side +traces from the cache. The code for the trace will be retained as long +as there are any other traces which link to it. </p> <h3 id="jit_status"><tt>status, ... = jit.status()</tt></h3> |