blob: b2414bb845ef7a62ddaca5f276315fe612f2b5e4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
diff --git a/util/grub.d/20_linux_xen.in b/util/grub.d/20_linux_xen.in
index 3b1f47049..f51a64ff8 100644
--- a/util/grub.d/20_linux_xen.in
+++ b/util/grub.d/20_linux_xen.in
@@ -211,7 +211,7 @@ file_is_not_xen_garbage () {
}
xen_list=
-for i in /boot/xen*; do
+for i in /boot/xen*.gz; do
if grub_file_is_not_garbage "$i" && file_is_not_xen_garbage "$i" ; then xen_list="$xen_list $i" ; fi
done
prepare_boot_cache=
|