changeset 31770:abfc5eb7af04

Simplify xmllint test.
author diego
date Wed, 28 Jul 2010 05:35:15 +0000
parents c6e58ec31959
children 75398f13e9f6
files DOCS/xml/configure
diffstat 1 files changed, 7 insertions(+), 16 deletions(-) [+]
line wrap: on
line diff
--- a/DOCS/xml/configure	Wed Jul 28 05:19:36 2010 +0000
+++ b/DOCS/xml/configure	Wed Jul 28 05:35:15 2010 +0000
@@ -192,23 +192,14 @@
 
 
 echo "Searching for XML checker..."
-for _try_xmllint in xmllint
-do
-  if command -v $_try_xmllint > /dev/null 2>&1
-  then
-    echo "Found $_try_xmllint"
-    if test -n "$_catalog"
-    then
-      _xmllint_command="$_try_xmllint --noout --noent --postvalid --catalogs \$*"
-    else
-      _xmllint_command="$_try_xmllint --noout --noent --postvalid \$*"
-    fi
-    break
+if command -v xmllint > /dev/null 2>&1; then
+  echo "Found xmllint"
+  if test -n "$_catalog"; then
+    _xmllint_command="xmllint --noout --noent --postvalid --catalogs \$*"
+  else
+    _xmllint_command="xmllint --noout --noent --postvalid \$*"
   fi
-done
-
-if test -z "$_xmllint_command"
-then
+else
   echo "Not found"
   _xmllint_command=true
 fi