diff options
| -rwxr-xr-x | src/configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/configure b/src/configure index a6b88ba2be3..8e3865a55ef 100755 --- a/src/configure +++ b/src/configure @@ -1861,7 +1861,7 @@ fi fi if test "$LEX" = "flex"; then - $LEX --version 2> /dev/null | grep -s '2\.5\.3' >& /dev/null + $LEX --version 2> /dev/null | grep -s '2\.5\.3' > /dev/null 2>&1 if test $? -eq 0 ; then echo "configure: warning: *** |