Bug#512968: closed by Robert Millan <rmh at aybabtu.com> (Bug#512968: fixed in grub2 1.96+20080724-15)

[Guillem Jover]

reopen 512968
found 512968 1.96+20080724-15
thanks

On Tue, 2009-02-10 at 22:45:04 +0000, Debian Bug Tracking System wrote:
> #512968: grub-pc: Fails to install when gnumach is installed
> 
> It has been closed by Robert Millan <rmh at aybabtu.com>.

As discussed on IRC, I'm afraid not.

> diff --git a/util/grub.d/10_hurd.in b/util/grub.d/10_hurd.in
> index d437873..902718d 100644
> --- a/util/grub.d/10_hurd.in
> +++ b/util/grub.d/10_hurd.in
> @@ -16,6 +16,11 @@
>  # You should have received a copy of the GNU General Public License
>  # along with GRUB.  If not, see <http://www.gnu.org/licenses/>.
>  
> +prefix=@prefix@
> +exec_prefix=@exec_prefix@
> +libdir=@libdir@
> +. ${libdir}/grub/update-grub_lib
> +
>  if [ "x${GRUB_DISTRIBUTOR}" = "x" ] ; then
>    OS=GNU
>  else

This part is missing.

regards,
guillem