diff options
Diffstat (limited to 'DOCS/xml/configure')
-rwxr-xr-x | DOCS/xml/configure | 2 |
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" |