# HG changeset patch
# User Kim Alvefur <zash@zash.se>
# Date 1471613442 -7200
# Node ID 2306d261ca0a80877f5c0462675dd2ad17e3027e
# Parent  d17bc0d0748e825fd922f088425dc535b43bb422
configure: Respect Lua suffix in Debian preset if already set

diff -r d17bc0d0748e -r 2306d261ca0a configure
--- a/configure	Fri Aug 19 14:43:38 2016 +0200
+++ b/configure	Fri Aug 19 15:30:42 2016 +0200
@@ -106,10 +106,12 @@
       OSTYPE="$value"
       OSTYPE_SET=yes
       if [ "$OSTYPE" = "debian" ]; then
-         LUA_SUFFIX="5.1";
-         LUA_SUFFIX_SET=yes
-         RUNWITH="lua5.1"
-         LUA_INCDIR=/usr/include/lua5.1;
+         if [ "$LUA_SUFFIX_SET" != "yes" ]; then
+            LUA_SUFFIX="5.1";
+            LUA_SUFFIX_SET=yes
+         fi
+         RUNWITH="lua$LUA_SUFFIX"
+         LUA_INCDIR="/usr/include/lua$LUA_SUFFIX"
          LUA_INCDIR_SET=yes
          CFLAGS="$CFLAGS -D_GNU_SOURCE"
       fi