diff options
author | Mike Pall <mike> | 2015-10-01 16:32:30 +0200 |
---|---|---|
committer | Mike Pall <mike> | 2015-10-01 16:32:30 +0200 |
commit | 2e85af8836931f10aaaaae8c10f9b394219187a5 (patch) | |
tree | 38811deef498ba2dcbeadbcdae71cf568ced12a3 /src/jit/dump.lua | |
parent | ef087aa6782d72af61dcf1b5801ce43818ecf003 (diff) | |
download | luajit-2e85af8836931f10aaaaae8c10f9b394219187a5.tar.gz luajit-2e85af8836931f10aaaaae8c10f9b394219187a5.tar.bz2 luajit-2e85af8836931f10aaaaae8c10f9b394219187a5.zip |
Flush symbol tables in jit.dump on trace flush.
Diffstat (limited to 'src/jit/dump.lua')
-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 d15c528e..e6ea18a8 100644 --- a/src/jit/dump.lua +++ b/src/jit/dump.lua | |||
@@ -564,6 +564,7 @@ local function dump_trace(what, tr, func, pc, otr, oex) | |||
564 | end | 564 | end |
565 | if dumpmode.H then out:write("</pre>\n\n") else out:write("\n") end | 565 | if dumpmode.H then out:write("</pre>\n\n") else out:write("\n") end |
566 | else | 566 | else |
567 | if what == "flush" then symtab, nexitsym = {}, 0 end | ||
567 | out:write("---- TRACE ", what, "\n\n") | 568 | out:write("---- TRACE ", what, "\n\n") |
568 | end | 569 | end |
569 | out:flush() | 570 | out:flush() |