configure
changeset 7967 1023f2add7fe
parent 7948 1f4a0e0b7167
child 7990 b3ee697158b5
--- a/configure	Mon Mar 06 16:05:24 2017 +0100
+++ b/configure	Tue Mar 07 21:48:05 2017 +0100
@@ -194,7 +194,7 @@
          LUA_INCDIR_SET=yes
          CFLAGS="-Wall -fPIC -I/usr/local/include"
          LDFLAGS="-I/usr/local/include -L/usr/local/lib -shared"
-         LUA_SUFFIX="-5.1"
+         LUA_SUFFIX="51"
          LUA_SUFFIX_SET=yes
          LUA_DIR=/usr/local
          LUA_DIR_SET=yes