diff --git a/src/configure b/src/configure
index a6b88ba2be..8e3865a55e 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: 
 ***