diff options
-rw-r--r-- | src/jit/p.lua | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/jit/p.lua b/src/jit/p.lua index c0ad6c0e..c9ec1d8b 100644 --- a/src/jit/p.lua +++ b/src/jit/p.lua | |||
@@ -238,6 +238,7 @@ local function prof_finish() | |||
238 | prof_count1 = nil | 238 | prof_count1 = nil |
239 | prof_count2 = nil | 239 | prof_count2 = nil |
240 | prof_ud = nil | 240 | prof_ud = nil |
241 | if out ~= stdout then out:close() end | ||
241 | end | 242 | end |
242 | end | 243 | end |
243 | 244 | ||