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.

diff --git a/ChangeLog b/ChangeLog
index 9bbeae6c222ae657389c0f6dadd5f85334aa06cd..6158ef4b3f588355d207491a15dc152c28b1531a 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -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.

diff --git a/util/grub.d/10_linux.in b/util/grub.d/10_linux.in
index 802d59f515badd753678e790bd6fc8d203959d1e..416ab6ed6e79d5418f7fc22033e9ee4b097c89b0 100644 (file)
--- a/util/grub.d/10_linux.in
+++ b/util/grub.d/10_linux.in
@@ -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=