fixup .ci/setup_lua.sh for LuaJIT rolling releases.

luvit · Aug 23, 2023 · 740d17c · 740d17c
1 parent 9091cdd
commit 740d17c
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/.ci/setup_lua.sh b/.ci/setup_lua.sh
@@ -49,8 +49,6 @@ if [ "$LUAJIT" == "yes" ]; then
 
   if [ "$LUA" == "luajit2.1" ]; then
     git checkout v2.1;
-    # force the INSTALL_TNAME to be luajit
-    perl -i -pe 's/INSTALL_TNAME=.+/INSTALL_TNAME= luajit/' Makefile
   fi
 
   make && make install PREFIX="$LUA_HOME_DIR"