Diff

configure @ 515:5bc65a944ed5

Fix debian ostype target
author Matthew Wild <mwild1@gmail.com>
date Sun, 30 Nov 2008 19:58:41 +0000
parent 511:f9ab28562fda
child 516:76d17a0d8a0a
line wrap: on
line diff
--- a/configure	Sun Nov 30 19:58:22 2008 +0000
+++ b/configure	Sun Nov 30 19:58:41 2008 +0000
@@ -116,7 +116,9 @@
 then
 	if [ "$OSTYPE" = "debian" ]
 	then LUA_SUFFIX="5.1";
+	LUA_SUFFIX_SET=yes
 	LUA_INCDIR=/usr/include/lua5.1;
+	LUA_INCDIR_SET=yes
 	fi
 	if [ "$OSTYPE" = "macosx" ]
 	then LUA_INCDIR=/usr/local/include;