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

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

Browse source 
* util/grub.d/10_hurd.in: Source /grub/update-grub_lib.
This commit is contained in:
robertmh 2008-07-30 00:21:35 +00:00
parent 4ca049a365
commit 14f41dd1ed
2 changed files with 9 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
ChangeLog
View file

@ -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

5
util/grub.d/10_hurd.in
View file

@ -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