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() |