[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
04/04: lint: The CPE name of GRUB is "grub2".
|
From: |
Ludovic Courtès |
|
Subject: |
04/04: lint: The CPE name of GRUB is "grub2". |
|
Date: |
Sun, 20 Dec 2015 21:34:36 +0000 |
civodul pushed a commit to branch master
in repository guix.
commit c5b303c57fcc1082b28a65528893202c252b0b63
Author: Ludovic Courtès <address@hidden>
Date: Sun Dec 20 22:19:05 2015 +0100
lint: The CPE name of GRUB is "grub2".
Reported by Leo Famulari.
* guix/scripts/lint.scm (package-name->cpe-name): Add "grub".
---
guix/scripts/lint.scm | 1 +
1 files changed, 1 insertions(+), 0 deletions(-)
diff --git a/guix/scripts/lint.scm b/guix/scripts/lint.scm
index 338c7e8..f296f8a 100644
--- 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)))