diff options
author | Mike Pall <mike> | 2021-06-25 12:48:42 +0200 |
---|---|---|
committer | Mike Pall <mike> | 2021-06-25 12:48:42 +0200 |
commit | 95140c50010c0557af66dac944403a1a65dd312c (patch) | |
tree | dde577fa8a8c3a0454823f0f17efcf0c3d0def07 /README | |
parent | 16d38a4b214e8b8a20be554be77bd20286072365 (diff) | |
download | luajit-95140c50010c0557af66dac944403a1a65dd312c.tar.gz luajit-95140c50010c0557af66dac944403a1a65dd312c.tar.bz2 luajit-95140c50010c0557af66dac944403a1a65dd312c.zip |
Flush and close output file after profiling run.
Thanks to Sergey Ostanevich.
Diffstat (limited to 'README')
0 files changed, 0 insertions, 0 deletions