From: robertmh Date: Wed, 30 Jul 2008 00:21:35 +0000 (+0000) Subject: 2008-07-30 Robert Millan X-Git-Tag: 1.98~1365 X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=14f41dd1edb583631b83d60d325abae1ec8fc2c2;p=thirdparty%2Fgrub.git 2008-07-30 Robert Millan * util/grub.d/10_hurd.in: Source /grub/update-grub_lib. --- 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