diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2022-06-09 08:15:32 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2022-06-09 08:15:32 -0700 |
commit | 712dc95985a864e567a0b3ed092a47ec24039c62 (patch) | |
tree | 2cf577d1090889707b38670fe651a31c0db54d7e | |
parent | 4ad51d648bdfe4f56cbca5f54a8ce42dda384aa7 (diff) | |
download | lines.love-712dc95985a864e567a0b3ed092a47ec24039c62.tar.gz |
experiment: turn off JIT
This seems to speed up copy! What does it slow down?
-rw-r--r-- | main.lua | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/main.lua b/main.lua index 3220b51..2812dd5 100644 --- a/main.lua +++ b/main.lua @@ -113,6 +113,11 @@ function App.initialize(arg) if #arg > 1 then print('ignoring commandline args after '..arg[1]) end + + if rawget(_G, 'jit') then + jit.off() + jit.flush() + end end -- App.initialize function initialize_window_geometry(geometry_spec) |