summaryrefslogtreecommitdiff
path: root/guix
diff options
context:
space:
mode:
authorLars-Dominik Braun <ldb@leibniz-psychology.org>2020-07-30 09:01:39 +0200
committerMathieu Othacehe <othacehe@gnu.org>2020-08-01 08:30:57 +0200
commit7caa3506eac288afcd224023ba526f27e3da893b (patch)
tree55102574975819ba971ef867ffdcb193fd139def /guix
parentc7fe7f2c2431606f6b123f4b5e6df94a84f6eac5 (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.scm3
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))))))))