diff options
| author | Daniel James <daniel@calamity.org.uk> | 2017-10-03 13:09:19 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-10-03 13:09:19 +0100 |
| commit | 86b86961210b2f228358bdc8fea3703cc058ed84 (patch) | |
| tree | 7aef5b20ab564afcbf47e6afcd42c589635c121d | |
| parent | c6228cce487350af961c8c73ef673f901d4e6cf6 (diff) | |
| download | boost-danieljames-patch-1.tar.gz | |
Remove --valid from call to xmllintdanieljames-patch-1
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.
| -rw-r--r-- | status/explicit-failures-markup.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/status/explicit-failures-markup.xml b/status/explicit-failures-markup.xml index 5cf6be7241..c0c3146b72 100644 --- a/status/explicit-failures-markup.xml +++ b/status/explicit-failures-markup.xml @@ -7,7 +7,7 @@ Locally, the xmlint tool can be used: - xmllint <two-dashes>valid explicit-failures-markup.xml <two-dashes>schema explicit-failures.xsd + xmllint explicit-failures-markup.xml <two-dashes>schema explicit-failures.xsd The following online services can be used to validate your changes to this file: |