diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2015-05-31 23:22:29 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2015-05-31 23:25:46 +0200 |
| commit | 2b5115f8ba62f3d36f39c0c6ee3b49fbc04e986a (patch) | |
| tree | 9d08a827f4fa5853635b0053593c9975dd38c0eb /AUTHORS | |
| parent | 91a0b9cc0bd60864aac43ca137d66f3aea1f92b3 (diff) | |
| download | guix-2b5115f8ba62f3d36f39c0c6ee3b49fbc04e986a.tar.gz | |
lint: source: Warn only when all the URIs are unreachable.
* guix/scripts/lint.scm (call-with-accumulated-warnings): New procedure. (with-accumulated-warnings): New macro. (check-source): Add 'try-uris' and use it. Emit warnings only upon failure.
Diffstat (limited to 'AUTHORS')
0 files changed, 0 insertions, 0 deletions