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/lua.h | |
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/lua.h')
0 files changed, 0 insertions, 0 deletions