diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -226,8 +226,8 @@ then | |||
226 | fi | 226 | fi |
227 | 227 | ||
228 | detect_lua_version() { | 228 | detect_lua_version() { |
229 | detected_lua=`$1 -e 'print(_VERSION:sub(5))' 2> /dev/null` | 229 | detected_lua=`$1 -e 'print(_VERSION:match(" (5%.[123])$"))' 2> /dev/null` |
230 | if [ "$detected_lua" = "5.1" -o "$detected_lua" = "5.2" -o "$detected_lua" = "5.3" ] | 230 | if [ "$detected_lua" != "nil" ] |
231 | then | 231 | then |
232 | echo "Lua version detected: $detected_lua" | 232 | echo "Lua version detected: $detected_lua" |
233 | if [ "$LUA_VERSION_SET" != "yes" ] | 233 | if [ "$LUA_VERSION_SET" != "yes" ] |