Mercurial > mplayer.hg

changeset 31780:d55bcadba17a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Skip searching for an xmllint command. The xmllint target is separate from building the documentation; thus if xmllint is not available, the xmllint targets can fail without further harm.
author diego
date Wed, 28 Jul 2010 10:00:56 +0000
parents 6f79e6b02ed8
children 036d59b53de2
files DOCS/xml/configure
diffstat 1 files changed, 1 insertions(+), 10 deletions(-) [+]
line wrap: on
line diff
--- a/DOCS/xml/configure	Wed Jul 28 09:53:01 2010 +0000
+++ b/DOCS/xml/configure	Wed Jul 28 10:00:56 2010 +0000
@@ -177,17 +177,8 @@
 fi
 
 
-echo "Searching for XML checker..."
-if command -v xmllint > /dev/null 2>&1; then
-  echo "Found xmllint"
-  xmllint_command="xmllint --noout --noent --postvalid $catalog_opts \$*"
-else
-  echo "Not found"
-  xmllint_command=true
-fi
-
 cat > xml.mak << EOF
 CATALOG = $catalog
-XMLLINT_COMMAND = $xmllint_command
+XMLLINT_COMMAND = xmllint --noout --noent --postvalid $catalog_opts \$*
 XSLT_COMMAND = $xsltcommand
 EOF