diff options
author | Mike Pall <mike> | 2023-12-23 19:22:34 +0100 |
---|---|---|
committer | Mike Pall <mike> | 2023-12-23 19:22:34 +0100 |
commit | 7dbe545933485849977d50384f2f20f2cccf0cf9 (patch) | |
tree | ec7cd64b60df40ea121e61f496db178c354f8869 /etc | |
parent | c42c62e71a45a677b8b1cbf749bd33cf4d5918ff (diff) | |
download | luajit-7dbe545933485849977d50384f2f20f2cccf0cf9.tar.gz luajit-7dbe545933485849977d50384f2f20f2cccf0cf9.tar.bz2 luajit-7dbe545933485849977d50384f2f20f2cccf0cf9.zip |
Respect jit.off() on pending trace exit.
Thanks to Sergey Kaplun. #1134
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions