diff options
author | Lars-Dominik Braun <ldb@leibniz-psychology.org> | 2020-07-30 09:01:39 +0200 |
---|---|---|
committer | Mathieu Othacehe <othacehe@gnu.org> | 2020-08-01 08:30:57 +0200 |
commit | 7caa3506eac288afcd224023ba526f27e3da893b (patch) | |
tree | 55102574975819ba971ef867ffdcb193fd139def /guix | |
parent | c7fe7f2c2431606f6b123f4b5e6df94a84f6eac5 (diff) |
guix: lint: Ignore unsupported source URL’s.
* guix/lint.scm (check-source): Add match case for #f.
Signed-off-by: Mathieu Othacehe <othacehe@gnu.org>
Diffstat (limited to 'guix')
-rw-r--r-- | guix/lint.scm | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/guix/lint.scm b/guix/lint.scm index 8a55f3e744..71ce931964 100644 --- a/guix/lint.scm +++ b/guix/lint.scm @@ -794,6 +794,9 @@ descriptions maintained upstream." (#t ;; We found a working URL, so stop right away. '()) + (#f + ;; Unsupported URL or other error, skip. + (loop rest warnings)) ((? lint-warning? warning) (loop rest (cons warning warnings)))))))) |