diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-07-20 01:13:46 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-07-20 01:32:17 +0200 |
| commit | 848ae71ea7131e78a7b728863eac1056c33b2679 (patch) | |
| tree | 9d83022348fec6af1c78f7a7c48d480ea40760d8 /etc | |
| parent | 571f6e7f4f75a01746a0880c99e0cc33fbafbe2a (diff) | |
| download | patches-848ae71ea7131e78a7b728863eac1056c33b2679.tar patches-848ae71ea7131e78a7b728863eac1056c33b2679.tar.gz | |
lint: 'source' check no longer complains about unavailable mirrors.
Fixes a regression introduced in
50fc2384feb3bb2677d074f8f0deb5ae3c56b4d8.
Previously, 'guix lint -c source coreutils' would complain if one of the
mirrors was unavailable. This is no longer the case.
* guix/lint.scm (check-source)[warnings-for-uris]: Use 'filter-map'.
Remove 'append-map' call.
Use 'append-map' here so that we can meaningfull compare the length or
URIS and that of WARNINGS.
Use '=' to compare lengths.
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions