--- Jason Thomas <[EMAIL PROTECTED]> wrote: 
> so should this change be made to $grubdir aswell (the next line)?

No, because $grubdir never be empty. $bootdir can be empty,
so the patch is correct.

Thanks,
Okuji 



_______________________________________________
Bug-grub mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/bug-grub

Reply via email to