]> granicus.if.org Git - flex/commitdiff
when we don't have GNU indent, the test will generate output on
authorWill Estes <wlestes@users.sourceforge.net>
Tue, 3 Sep 2002 13:08:13 +0000 (13:08 +0000)
committerWill Estes <wlestes@users.sourceforge.net>
Tue, 3 Sep 2002 13:08:13 +0000 (13:08 +0000)
stderr, so we send that to /dev/null

configure.in

index ada150d8ff913ea1adcc0dde8ccaf89846953b9c..ece4a509906ee95033c5c2e3625589aa8b59ebd2 100644 (file)
@@ -46,7 +46,7 @@ AC_PATH_PROG(M4, m4, $srcdir/missing)
 AC_PATH_PROG(INDENT, indent, $srcdir/missing)
 if test "$INDENT" != $srcdir/missing ; then
    AC_MSG_CHECKING(if $INDENT is GNU indent)
-   if $INDENT --version | head -1|grep "GNU indent" > /dev/null ; then
+   if $INDENT --version 2>/dev/null | head -1|grep "GNU indent" > /dev/null ; then
       AC_MSG_RESULT(yes)
    else
       AC_MSG_RESULT(no)