From c0cb8fd82a65ef16e828fc45a65018f3d135074f Mon Sep 17 00:00:00 2001 From: "A. Wilcox" Date: Wed, 18 Dec 2019 23:05:07 +0000 Subject: user/grub: build grub-mount utility --- user/grub/adelie-branding.patch | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'user/grub/adelie-branding.patch') diff --git a/user/grub/adelie-branding.patch b/user/grub/adelie-branding.patch index 606c1e6e9..463d4bcf5 100644 --- a/user/grub/adelie-branding.patch +++ b/user/grub/adelie-branding.patch @@ -13,7 +13,7 @@ +case "x${GRUB_DISTRIBUTOR}" in + x) + OS=GNU/Linux;; -+ xAdélie|xAdelie) ++ xAdélie|xAdelie|xadelie) + OS="Adélie Linux"; + CLASS="--class adelie";; + *) -- cgit v1.2.3-60-g2f50