diff options
author | Mike Pall <mike> | 2024-11-14 17:13:58 +0100 |
---|---|---|
committer | Mike Pall <mike> | 2024-11-14 17:13:58 +0100 |
commit | fca66335d131669cf017420af6963a7565babb58 (patch) | |
tree | d54a9d27cbfd1edea58cf2714a5096ba6321a386 /src/host | |
parent | 9ce8f1ff8e5298c4d921d9f0b4a3fc1f965b3f22 (diff) | |
download | luajit-fca66335d131669cf017420af6963a7565babb58.tar.gz luajit-fca66335d131669cf017420af6963a7565babb58.tar.bz2 luajit-fca66335d131669cf017420af6963a7565babb58.zip |
Always close profiler output file.
Reported by Guilherme Batalheiro. #1304
Diffstat (limited to 'src/host')
0 files changed, 0 insertions, 0 deletions