Make any EFI system boot into the shim (if installed) even if

[grub2.git] / debian / patches / install_bios_setup_path.patch

Description: Look for grub-bios-setup in /usr/lib/grub/i386-pc/ as well
Author: Colin Watson <cjwatson@debian.org>
Bug-Debian: http://bugs.debian.org/705636
Forwarded: no
Last-Update: 2013-04-17

Index: b/util/grub-install.in
===================================================================
--- a/util/grub-install.in
+++ b/util/grub-install.in
@@ -363,6 +363,9 @@
 
 if test "x$grub_setup" = x && [ "${grub_modinfo_target_cpu}-${grub_modinfo_platform}" = "i386-pc" ]; then
     grub_setup="${sbindir}/`echo grub-bios-setup | sed ${transform}`"
+    if [ ! -e "$grub_setup" ]; then
+	grub_setup="${source_dir}/`echo grub-bios-setup | sed ${transform}`"
+    fi
 fi
 
 if test "x$grub_setup" = x && [ "${grub_modinfo_target_cpu}-${grub_modinfo_platform}" = "sparc64-ieee1275" ]; then