Re: Conditionally building `grub-emu'

[Marco Gerards]

Thomas Schwinge <address@hidden> writes:

Hi Thomas,

> On request / suggestion / whatever ;-) of Marco I created the following
> patch.

Thanks a lot for doing this!

[...]

> The only remaining problem --- which only happens if building without
> having `grub-emu' enabled --- is the following one:

[...]

Is this fixed already by what Okuji proposed (and possibly committed)?

--
Marco