]> git.ipfire.org Git - thirdparty/gettext.git/commit
projects / thirdparty / gettext.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 32d202b) | patch
its: Work around xmllint bug.
authorBruno Haible <bruno@clisp.org>
Mon, 14 Oct 2024 15:24:52 +0000 (17:24 +0200)
committerBruno Haible <bruno@clisp.org>
Mon, 14 Oct 2024 15:24:52 +0000 (17:24 +0200)
commitf8236681dbc1a46b5f5f16ea17aaea8377650719
treee95b7fa3aa9d4cbc15878d25e5e61565bb93651etree
parent32d202b7f4f15ba3c5d83d68ba7803fc9a95c262commit | diff
its: Work around xmllint bug.

* gettext-tools/its/Makefile.am (check-local): Skip the ITS_FILES checks if
xmllint cannot grok the its.xsd schema.
gettext-tools/its/Makefile.am diff | blob | blame | history
Mirror of https://github.com/autotools-mirror/gettext.git