Flush profile into file

Using jit.p:start() with a file argument does not flush result to the file.
It's Ok when used from command line, still it's a hurdle for runtime invocation.
This commit is contained in:
Sergey Ostanevich 2021-06-24 18:49:55 +03:00 committed by GitHub
parent 3f9389edc6
commit 0fcb1adb9d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -238,6 +238,7 @@ local function prof_finish()
prof_count1 = nil
prof_count2 = nil
prof_ud = nil
if out ~= stdout then out:close() end
end
end