]> git.ipfire.org Git - thirdparty/valgrind.git/commit
projects / thirdparty / valgrind.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 86ac4f2) | patch
docs/Makefile.am: Make sure xml catalog file exists for xmllint check
authorMark Wielaard <mark@klomp.org>
Sun, 9 Mar 2025 15:46:50 +0000 (16:46 +0100)
committerMark Wielaard <mark@klomp.org>
Sun, 9 Mar 2025 15:46:56 +0000 (16:46 +0100)
commit9f956db3e5eb0afb0d60987f3658b66646a0ac81
tree20a4dab917da23a396353f2aa915b5377fe964c7tree | snapshot
parent86ac4f2b004f57fa11224efafc1cd1c8fa8ded84commit | diff
docs/Makefile.am: Make sure xml catalog file exists for xmllint check

When XML_CATALOG_FILES don't exist on the system xmllint will have to
query those files through various websites. When there is a network
error xmllint will fail. So make sure to only run the validity tests
when both xmllint and XML_CATALOG_FILES exists.
docs/Makefile.am diff | blob | blame | history
Mirror of https://sourceware.org/git/valgrind.git