vbatts/grub
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

2010-06-28 Robert Millan <rmh@gnu.org>

Browse source 
* 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.
This commit is contained in:
Robert Millan 2010-06-28 23:52:03 +02:00
parent 20bc84a6ff
commit d500ed127e
3 changed files with 14 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
ChangeLog
View file

@ -1,3 +1,9 @@
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.

5
util/grub-mkconfig.in
View file

@ -1,7 +1,7 @@
#! /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
@ -274,7 +274,8 @@ export GRUB_DEFAULT \
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

9
util/grub.d/00_header.in
View file

@ -255,8 +255,9 @@ fi
# 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