2008-07-30 Robert Millan <rmh@aybabtu.com>

        * util/grub.d/10_hurd.in: Source /grub/update-grub_lib.

diff --git a/ChangeLog b/ChangeLog
index 7316a088f4a24df022603f2f01fdb1351bb8ec61..797a7dddbb8210d7262e37c2f848acc5da717d23 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2008-07-30  Robert Millan  <rmh@aybabtu.com>
+
+       * util/grub.d/10_hurd.in: Source ${libdir}/grub/update-grub_lib.
+
 2008-07-30  Robert Millan  <rmh@aybabtu.com>
 
        * 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 d437873d20ef582c7985551edbad92072776094f..ed54f2f0a273dc210490994ad3ffb10fe02449bc 100644 (file)
--- 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