lint: The CPE name of GRUB is "grub2".

Reported by Leo Famulari. * guix/scripts/lint.scm (package-name->cpe-name): Add "grub".
2015-12-20 22:19:05 +01:00 · 2015-12-20 22:19:05 +01:00 · c5b303c57f
parent 724a7d9c74
commit c5b303c57f
1 changed files with 1 additions and 0 deletions
--- a/guix/scripts/lint.scm
+++ b/guix/scripts/lint.scm
@ -587,6 +587,7 @@ be determined."
 Common Platform Enumeration (CPE) name."
  (match name
    ("icecat"   "firefox")                        ;or "firefox_esr"
+    ("grub"     "grub2")
    ;; TODO: Add more.
    (_          name)))