about summary refs log tree commit diff stats
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2022-06-09 08:15:32 -0700
committerKartik K. Agaram <vc@akkartik.com>2022-06-09 08:15:32 -0700
commit712dc95985a864e567a0b3ed092a47ec24039c62 (patch)
tree2cf577d1090889707b38670fe651a31c0db54d7e
parent4ad51d648bdfe4f56cbca5f54a8ce42dda384aa7 (diff)
downloadlines.love-712dc95985a864e567a0b3ed092a47ec24039c62.tar.gz
experiment: turn off JIT
This seems to speed up copy! What does it slow down?
-rw-r--r--main.lua5
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)