From 1efc57ae618009a3048adb430601fd92176bb34e Mon Sep 17 00:00:00 2001 From: zhaozg Date: Sat, 2 Sep 2023 09:57:55 +0800 Subject: [PATCH] ci: fix setup LuaJIT --- .github/shell/setup_lua.sh | 2 -- 1 file changed, 2 deletions(-) diff --git a/.github/shell/setup_lua.sh b/.github/shell/setup_lua.sh index d36dc38a..406a9738 100755 --- a/.github/shell/setup_lua.sh +++ b/.github/shell/setup_lua.sh @@ -46,8 +46,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"