# HG changeset patch # User Kim Alvefur # Date 1557002939 -7200 # Node ID c8646f65767aef4f64b22ec2374b73c59c49b172 # Parent 524b8cd76780ca2b3e537ffc0b52724902bcf7f3 configure: Handle lua being found in /bin (workaround for #1353) diff -r 524b8cd76780 -r c8646f65767a configure --- a/configure Sat May 04 04:23:35 2019 +0200 +++ b/configure Sat May 04 22:48:59 2019 +0200 @@ -419,6 +419,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