diff options
author | Aurélien COUDERC <zecoucou@free.fr> | 2017-06-02 15:02:03 +0000 |
---|---|---|
committer | Aurélien COUDERC <zecoucou@free.fr> | 2017-06-02 15:02:03 +0000 |
commit | 3ad562d29cd5d023f1f00c6135214874d1c2b934 (patch) | |
tree | d323446a92c1707bd7f096bd5ca76ca0564005d7 /debian | |
parent | 70efd718b11f46945cd77a919497b1713a54843b (diff) |
Silence some not really useful test logs
Diffstat (limited to 'debian')
-rwxr-xr-x | debian/tests/xmllint-functions | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/debian/tests/xmllint-functions b/debian/tests/xmllint-functions index 9fb98d9..c92301b 100755 --- a/debian/tests/xmllint-functions +++ b/debian/tests/xmllint-functions @@ -26,7 +26,6 @@ lint_xmls() { echo "${nb_files} files will be checked" while IFS= read -d $'\n' -r xml_file ; do - echo "xmllinting file '${xml_file}'" xmllint --noout ${xml_file} local xmllint_result=$? echo "${xml_file},${xmllint_result}" >> ${xml_lint_summary} |