diff options
| author | Daniel James <daniel@calamity.org.uk> | 2017-10-03 13:13:09 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-10-03 13:13:09 +0100 |
| commit | 02804b043f8eacb48c63b1e8e55fa1c07b05bbf5 (patch) | |
| tree | 23b6b25dcbcd89d0c278a2d40ea13bac99636f45 | |
| parent | 578b5343902d8f179649d25b812c5318c369725e (diff) | |
| download | boost-danieljames-patch-2.tar.gz | |
Remove --valid flag from xmllintdanieljames-patch-2
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 26419fea21..375f1b8087 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: |