summaryrefslogtreecommitdiff
path: root/etc
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2019-08-17 15:34:24 +0200
committerLudovic Courtès <ludo@gnu.org>2019-08-17 16:23:05 +0200
commit37592014e13abead7a691d0dcb5918d1a10f5cd6 (patch)
tree7f71fcd9b3ec1c225bff9a5f53131bab2f647c95 /etc
parent02460db0474ff5ac0d867ed6d5b192c062af0abc (diff)
tests: Relax expectations for the 'home-page' checker.
Fixes a regression introduced in 50fc2384feb3bb2677d074f8f0deb5ae3c56b4d8. * tests/lint.scm (warning-contains?): New procedure. ("home-page: host not found"): Use 'warning-contains?' instead of testing for equality, as was the case before commit 50fc2384feb. This handles the case where the 'getaddrinfo' error is not "Name or service not known" but instead something like "System error" or "Servname not supported for ai_socktype", as is the case in the build environment.
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions