diff options
| author | diego <diego@b3059339-0415-0410-9bf9-f77b7e298cf2> | 2003-11-16 00:57:47 +0000 |
|---|---|---|
| committer | diego <diego@b3059339-0415-0410-9bf9-f77b7e298cf2> | 2003-11-16 00:57:47 +0000 |
| commit | 81d5530653d09e5b044d23dea90a25d98ef445d9 (patch) | |
| tree | 07fc4bf55be4e54cc93ac3588d50517ebf613d71 /DOCS/xml/configure | |
| parent | 76264802b34e36f3d8dbf865637fcd355d395c86 (diff) | |
| download | mpv-81d5530653d09e5b044d23dea90a25d98ef445d9.tar.bz2 mpv-81d5530653d09e5b044d23dea90a25d98ef445d9.tar.xz | |
less verbosity
git-svn-id: svn://svn.mplayerhq.hu/mplayer/trunk@11469 b3059339-0415-0410-9bf9-f77b7e298cf2
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" |