On 09.10.2012 19:23, Andrey Borzenkov wrote:

> 
> === modified file 'util/grub-install.in'
> --- util/grub-install.in	2012-09-24 17:50:35 +0000
> +++ util/grub-install.in	2012-10-09 17:15:52 +0000
> @@ -486,8 +486,6 @@
>  		*)
>  		    efi_file=grub.efi ;;
>  	    esac
> -	   # TODO: We should also use efibootmgr, if available, to add a Boot
> -	   # entry for ourselves.
>  	fi
>  	efidir="$efidir/EFI/$efi_distributor"
>  	mkdir -p "$efidir" || exit 1
> 
> 
> 

Applied, thanks.

-- 
Regards
Vladimir 'φ-coder/phcoder' Serbinenko