diff DOCS/xml/configure @ 11468:bb3e24e796eb

less verbosity
author diego
date Sun, 16 Nov 2003 00:57:47 +0000
parents 669e67c3d6b3
children 19919e913e3d
line wrap: on
line diff
--- a/DOCS/xml/configure	Sat Nov 15 22:46:47 2003 +0000
+++ b/DOCS/xml/configure	Sun Nov 16 00:57:47 2003 +0000
@@ -248,7 +248,7 @@
 echo "Searching for XML checker..."
 for _try_xmllint in xmllint
 do
-  if command -v $_try_xmllint > /dev/null
+  if command -v $_try_xmllint > /dev/null 2>&1
   then
     echo "Found: $_try_xmllint"
     if test -n "$_catalog"