* util/grub-mkconfig.in: Export `GRUB_BADRAM' variable.
* util/grub.d/00_header.in: When `GRUB_BADRAM' is set, issue badram
command using ${GRUB_BADRAM} as parameter.
+2010-06-28 Robert Millan <rmh@gnu.org>
+
+ * util/grub-mkconfig.in: Export `GRUB_BADRAM' variable.
+ * util/grub.d/00_header.in: When `GRUB_BADRAM' is set, issue badram
+ command using ${GRUB_BADRAM} as parameter.
+
2010-06-28 Colin Watson <cjwatson@ubuntu.com>
* docs/grub.texi (Device map): New section.
#! /bin/sh -e
# Generate grub.cfg by inspecting /boot contents.
-# Copyright (C) 2006,2007,2008,2009 Free Software Foundation, Inc.
+# Copyright (C) 2006,2007,2008,2009,2010 Free Software Foundation, Inc.
#
# GRUB is free software: you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
GRUB_GFXPAYLOAD_LINUX \
GRUB_DISABLE_OS_PROBER \
GRUB_INIT_TUNE \
- GRUB_SAVEDEFAULT
+ GRUB_SAVEDEFAULT \
+ GRUB_BADRAM
if test "x${grub_cfg}" != "x"; then
rm -f ${grub_cfg}.new
# Play an initial tune
if [ "x${GRUB_INIT_TUNE}" != "x" ] ; then
- cat << EOF
-insmod play
-play ${GRUB_INIT_TUNE}
-EOF
+ echo "play ${GRUB_INIT_TUNE}"
+fi
+
+if [ "x${GRUB_BADRAM}" != "x" ] ; then
+ echo "badram ${GRUB_BADRAM}"
fi