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

* util/grub.d/10_linux.in: Prefer compressed images over non-compressed
	ones, when both are available.
This commit is contained in:
Robert Millan 2010-06-09 20:43:25 +02:00
parent 0ea7c4f93c
commit 9146024736
2 changed files with 6 additions and 1 deletions

View file

@ -1,3 +1,8 @@
2010-06-09 Robert Millan <rmh@gnu.org>
* util/grub.d/10_linux.in: Prefer compressed images over non-compressed
ones, when both are available.
2010-06-08 Grégoire Sutre <gregoire.sutre@gmail.com>
Make --version uniform and avoid hard-coded program name.

View file

@ -97,7 +97,7 @@ EOF
EOF
}
list=`for i in /boot/vmlinu[xz]-* /vmlinu[xz]-* ; do
list=`for i in /boot/vmlinu[zx]-* /vmlinu[zx]-* ; do
if grub_file_is_not_garbage "$i" ; then echo -n "$i " ; fi
done`
prepare_boot_cache=