changeset 10003 | d2febb4befbc |
parent 9865 | 84916bbe5985 |
parent 10002 | c8646f65767a |
child 10012 | 272c436ca5d1 |
--- a/configure Sun May 05 08:12:16 2019 +0200 +++ b/configure Sun May 05 08:55:05 2019 +0200 @@ -426,6 +426,13 @@ } 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