]> git.ipfire.org Git - thirdparty/grub.git/commitdiff
2008-07-30 Robert Millan <rmh@aybabtu.com>
authorrobertmh <robertmh@localhost>
Wed, 30 Jul 2008 00:21:35 +0000 (00:21 +0000)
committerrobertmh <robertmh@localhost>
Wed, 30 Jul 2008 00:21:35 +0000 (00:21 +0000)
        * util/grub.d/10_hurd.in: Source /grub/update-grub_lib.

ChangeLog
util/grub.d/10_hurd.in

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
index d437873d20ef582c7985551edbad92072776094f..ed54f2f0a273dc210490994ad3ffb10fe02449bc 100644 (file)
 # 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