From e0000f5fa615d0f55195f55bd0e7d20c6b16651b Mon Sep 17 00:00:00 2001
From: Kim Alvefur <zash@zash.se>
Date: Sat, 4 May 2019 22:48:59 +0200
Subject: configure: Handle lua being found in /bin (workaround for #1353)

---
 configure | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'configure')

diff --git a/configure b/configure
index 4307997c..0fe186b5 100755
--- a/configure
+++ b/configure
@@ -419,6 +419,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
-- 
cgit v1.2.3