Check for the EFI distributor case-insensitively, since efi_distributor is

always forced to lower-case.
Reported by: Mario Limonciello.

diff --git a/util/grub-install.in b/util/grub-install.in
index cf2a752ab4c01a3ff22b73d1c3e9166f605ac59b..b0823642a6481bdb517362690084d768bfc3c6b1 100644 (file)
--- a/util/grub-install.in
+++ b/util/grub-install.in
@@ -603,7 +603,7 @@ elif [ x"$platform" = xefi ]; then
 
         # Delete old entries from the same distributor.
        for bootnum in `efibootmgr | grep '^Boot[0-9]' | \
-           fgrep " $efi_distributor" | cut -b5-8`; do
+           fgrep -i " $efi_distributor" | cut -b5-8`; do
            efibootmgr $efi_quiet -b "$bootnum" -B
        done