diff options
author | Ludovic Courtès <ludo@gnu.org> | 2019-08-17 15:34:24 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2019-08-17 16:23:05 +0200 |
commit | 37592014e13abead7a691d0dcb5918d1a10f5cd6 (patch) | |
tree | 7f71fcd9b3ec1c225bff9a5f53131bab2f647c95 /etc | |
parent | 02460db0474ff5ac0d867ed6d5b192c062af0abc (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