Avoid using grep -q in configure.in

grep -q isn't as portable as we would like, so don't use it.

diff --git a/src/configure.in b/src/configure.in
index 5a1539c096cc15c20155e8d2c293fcb3c8061c25..faf93a1c9469bf4b8b7505deaa25e7c1e0738fe3 100644 (file)
--- a/src/configure.in
+++ b/src/configure.in
@@ -1265,7 +1265,7 @@ if test "x$with_krb5_config" != xno; then
        if test "x$with_krb5_config" = xyes; then
                with_krb5_config=krb5-config
        fi
-       if $with_krb5_config --help 2>&1 | grep -q defccname; then
+       if $with_krb5_config --help 2>&1 | grep defccname >/dev/null; then
                AC_MSG_NOTICE([Using $with_krb5_config for build defaults])
                : "${DEFCCNAME=`$with_krb5_config --defccname`}"
                : "${DEFKTNAME=`$with_krb5_config --defktname`}"