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 /bootstrap.sh | |
| 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.
Diffstat (limited to 'bootstrap.sh')
0 files changed, 0 insertions, 0 deletions