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 |
