configure: use grep in quiet mode, rather than piping stderr/stdout to /dev/null
authorEmil Velikov <emil.l.velikov@gmail.com>
Wed, 12 Mar 2014 02:37:55 +0000 (02:37 +0000)
committerEmil Velikov <emil.l.velikov@gmail.com>
Mon, 31 Mar 2014 11:20:10 +0000 (12:20 +0100)
commit3dc174e85e4d81a37b053183142e87afb93eb4bf
treeebae7773f94f45f3c7758e7cdc6e0d4fdcff73cc
parente8e1158ac35d21a16b47ada09a6dc5fa9d7764d8
configure: use grep in quiet mode, rather than piping stderr/stdout to /dev/null

grep -q is easier to read and consistent with the rest of configure.ac.

Signed-off-by: Emil Velikov <emil.l.velikov@gmail.com>
Reviewed-by: Matt Turner <mattst88@gmail.com>
configure.ac