aboutsummaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure4
1 files changed, 2 insertions, 2 deletions
diff --git a/configure b/configure
index 665d52bc..3636aed3 100755
--- a/configure
+++ b/configure
@@ -226,8 +226,8 @@ then
226fi 226fi
227 227
228detect_lua_version() { 228detect_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" ]