diff options
author | Daniel James <daniel@calamity.org.uk> | 2017-10-03 13:13:09 +0100 |
---|---|---|
committer | Daniel James <daniel@calamity.org.uk> | 2017-10-20 19:27:49 +0100 |
commit | ad0e2990fe27bde7d9d017b4a079788ac9b89675 (patch) | |
tree | dfe82e25c8e3a041710cba094ee4c503e671e58e /libs | |
parent | 1216d222836c7f60095092ddf6b0f1899ff2da19 (diff) | |
download | boost-ad0e2990fe27bde7d9d017b4a079788ac9b89675.tar.gz |
Remove --valid flag from xmllint
The existing call to xmllint returns an error status, the error message is obscured by the output, but it writes to stderr:
explicit-failures-markup.xml:3: validity error : Validation failed: no DTD found !
xsi:noNamespaceSchemaLocation="explicit-failures.xsd">
According to the xmllint man page the `--valid` flag is used for validating using a DTD, and we don't have a DTD. The `--schema` flag is sufficient for validation, so I think the solution is just to remove the `--valid` flag.
Diffstat (limited to 'libs')
0 files changed, 0 insertions, 0 deletions