diff options
-rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |