diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-07-20 01:30:29 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-07-20 01:32:18 +0200 |
| commit | 674b9df37da90ec6536e0ea7a5ab36785b732ae5 (patch) | |
| tree | 0677dc55ed80ae939a7ded440545a932516a0e61 /guix/scripts/lint.scm | |
| parent | 6dc28adf7285a170798a79a2f4ce3c35c1c611c2 (diff) | |
| download | guix-patches-674b9df37da90ec6536e0ea7a5ab36785b732ae5.tar guix-patches-674b9df37da90ec6536e0ea7a5ab36785b732ae5.tar.gz | |
lint: source: Stop as soon as a valid URL is found.
This restores the behavior of 'guix lint' prior to commit
50fc2384feb3bb2677d074f8f0deb5ae3c56b4d8.
* guix/lint.scm (check-source)[warnings-for-uris]: Rewrite to stop as
soon as one of URIS is valid.
Diffstat (limited to 'guix/scripts/lint.scm')
0 files changed, 0 insertions, 0 deletions