Changeset

9998:c8646f65767a 0.11

configure: Handle lua being found in /bin (workaround for #1353)
author Kim Alvefur <zash@zash.se>
date Sat, 04 May 2019 22:48:59 +0200
parents 9994:524b8cd76780
children 9999:d2febb4befbc 10011:2408e6362c15
files configure
diffstat 1 files changed, 7 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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