diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -177,7 +177,7 @@ do | |||
177 | LUA_SUFFIX="$value" | 177 | LUA_SUFFIX="$value" |
178 | LUA_SUFFIX_SET=yes | 178 | LUA_SUFFIX_SET=yes |
179 | ;; | 179 | ;; |
180 | --lua-version) | 180 | --lua-version|--with-lua-version) |
181 | [ -n "$value" ] || die "Missing value in flag $key." | 181 | [ -n "$value" ] || die "Missing value in flag $key." |
182 | LUA_VERSION="$value" | 182 | LUA_VERSION="$value" |
183 | [ "$LUA_VERSION" = "5.1" -o "$LUA_VERSION" = "5.2" -o "$LUA_VERSION" = "5.3" ] || die "Invalid Lua version in flag $key." | 183 | [ "$LUA_VERSION" = "5.1" -o "$LUA_VERSION" = "5.2" -o "$LUA_VERSION" = "5.3" ] || die "Invalid Lua version in flag $key." |
@@ -250,7 +250,7 @@ detect_lua_version() { | |||
250 | LUA_VERSION=$detected_lua | 250 | LUA_VERSION=$detected_lua |
251 | elif [ "$LUA_VERSION" != "$detected_lua" ] | 251 | elif [ "$LUA_VERSION" != "$detected_lua" ] |
252 | then | 252 | then |
253 | die "This clashes with the value of --with-lua-version. Please check your configuration." | 253 | die "This clashes with the value of --lua-version. Please check your configuration." |
254 | fi | 254 | fi |
255 | fi | 255 | fi |
256 | } | 256 | } |