diff options
| author | Marius Bakke <mbakke@fastmail.com> | 2019-01-13 01:40:04 +0100 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2019-01-13 01:40:04 +0100 |
| commit | 6764f94317be05d2c3b08acdcbb2c4730f0c617d (patch) | |
| tree | adcfd0000cbe9a8c614181e39d7cbe7f1e1bc164 /guix/scripts/lint.scm | |
| parent | 67ff2bdf6100cc887b0d5aebbcd1f539c634a3dc (diff) | |
| parent | 1710ffa4c79c79079ebd4e523eef8883eb2d3953 (diff) | |
Merge branch 'master' into staging
Diffstat (limited to 'guix/scripts/lint.scm')
| -rw-r--r-- | guix/scripts/lint.scm | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/guix/scripts/lint.scm b/guix/scripts/lint.scm index 9acec48577..0f315a9352 100644 --- a/guix/scripts/lint.scm +++ b/guix/scripts/lint.scm @@ -8,7 +8,7 @@ ;;; Copyright © 2017 Alex Kost <alezost@gmail.com> ;;; Copyright © 2017 Tobias Geerinckx-Rice <me@tobias.gr> ;;; Copyright © 2017, 2018 Efraim Flashner <efraim@flashner.co.il> -;;; Copyright © 2018 Arun Isaac <arunisaac@systemreboot.net> +;;; Copyright © 2018, 2019 Arun Isaac <arunisaac@systemreboot.net> ;;; ;;; This file is part of GNU Guix. ;;; @@ -820,10 +820,11 @@ descriptions maintained upstream." (lambda (uri) (and=> (follow-redirects-to-github uri) (lambda (github-uri) - (emit-warning - package - (format #f (G_ "URL should be '~a'") github-uri) - 'source)))) + (unless (string=? github-uri uri) + (emit-warning + package + (format #f (G_ "URL should be '~a'") github-uri) + 'source))))) (origin-uris origin))))) (define (check-derivation package) |