diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-01-20 22:12:10 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-01-20 22:12:10 +0100 |
| commit | 3e2d4e69c340c3520f546f8c7e21e52383058d1c (patch) | |
| tree | 0bc92edb753cfdf9a9e7ef763ebc19f0cd2d528c /guix/scripts/lint.scm | |
| parent | ad79ae7e2d7505292b11e87302b08f4db0f934e9 (diff) | |
| parent | e5ad2cdf172eecc7edef37a500593b1941af013c (diff) | |
Merge branch 'master' into staging
Diffstat (limited to 'guix/scripts/lint.scm')
| -rw-r--r-- | guix/scripts/lint.scm | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/guix/scripts/lint.scm b/guix/scripts/lint.scm index 0f315a9352..665adcfb8d 100644 --- a/guix/scripts/lint.scm +++ b/guix/scripts/lint.scm @@ -758,9 +758,10 @@ descriptions maintained upstream." "Emit a warning if PACKAGE's source is an autogenerated tarball." (define (check-source-uri uri) (when (and (string=? (uri-host (string->uri uri)) "github.com") - (string=? (third (split-and-decode-uri-path - (uri-path (string->uri uri)))) - "archive")) + (match (split-and-decode-uri-path + (uri-path (string->uri uri))) + ((_ _ "archive" _ ...) #t) + (_ #f))) (emit-warning package (G_ "the source URI should not be an autogenerated tarball") 'source))) |