aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xconfigure2
1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure
index 88d035a1..4a5542b9 100755
--- a/configure
+++ b/configure
@@ -437,7 +437,7 @@ check_incdir() {
437 do 437 do
438 if [ -f "$lua_h" ] 438 if [ -f "$lua_h" ]
439 then 439 then
440 grep "LUA_VERSION_NUM.*$LUA_VERSION" $lua_h &> /dev/null && return 440 grep "LUA_VERSION_NUM.*$LUA_VERSION" "$lua_h" > /dev/null 2> /dev/null && return
441 fi 441 fi
442 tried="$tried $lua_h" 442 tried="$tried $lua_h"
443 done 443 done