configure: Set to run with lua5.1 in the debian preset

diff --git a/configure b/configure
index df62cc05b80a094c9281bac2fc40a0111bdf17f9..5c6439fc224808a93ed81e1cd393e38b4b1dcad8 100755 (executable)
--- a/configure
+++ b/configure
@@ -95,6 +95,7 @@ do
       if [ "$OSTYPE" = "debian" ]
       then LUA_SUFFIX="5.1";
        LUA_SUFFIX_SET=yes
+       RUNWITH="lua5.1"
        LUA_INCDIR=/usr/include/lua5.1;
        LUA_INCDIR_SET=yes
        CFLAGS="$CFLAGS -D_GNU_SOURCE"