diff --git a/ChangeLog b/ChangeLog index 7316a088f..797a7dddb 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2008-07-30 Robert Millan + + * util/grub.d/10_hurd.in: Source ${libdir}/grub/update-grub_lib. + 2008-07-30 Robert Millan * term/i386/pc/vga_text.c (grub_console_cls): Use diff --git a/util/grub.d/10_hurd.in b/util/grub.d/10_hurd.in index d437873d2..ed54f2f0a 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 . +prefix=@prefix@ +exec_prefix=@exec_prefix@ +libdir=@libdir@ +. ${libdir}/grub/update-grub_lib + if [ "x${GRUB_DISTRIBUTOR}" = "x" ] ; then OS=GNU else