Diff

configure @ 5420:706053e3f9f5

Merge 0.9->trunk
author Matthew Wild <mwild1@gmail.com>
date Wed, 03 Apr 2013 13:53:21 +0100
parent 5401:456c1998638d
child 5421:a3f0fe9431cf
line wrap: on
line diff
--- a/configure	Sun Mar 31 13:21:19 2013 +0100
+++ b/configure	Wed Apr 03 13:53:21 2013 +0100
@@ -95,6 +95,7 @@
       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"