summaryrefslogtreecommitdiffstats
path: root/DOCS/xml/configure
diff options
context:
space:
mode:
Diffstat (limited to 'DOCS/xml/configure')
-rwxr-xr-xDOCS/xml/configure2
1 files changed, 1 insertions, 1 deletions
diff --git a/DOCS/xml/configure b/DOCS/xml/configure
index de6c1784ca..8492880622 100755
--- a/DOCS/xml/configure
+++ b/DOCS/xml/configure
@@ -248,7 +248,7 @@ chmod +x $_xsltwrapper
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"