diff --git a/configure b/configure index 1343d34b5..c8ad11156 100755 --- a/configure +++ b/configure @@ -426,6 +426,13 @@ else } fi +# See #1353 +if [ "$LUA_DIR_SET" != "yes" ] && [ "$LUA_DIR" = "/" ] +then + LUA_DIR="/usr" +fi + + if [ "$lua_interp_found" != "yes" ] && [ "$RUNWITH_SET" != "yes" ] then if [ "$LUA_VERSION_SET" ]; then