diff options
Diffstat (limited to '20_linux_xen-select-gzipped-xen-only.patch')
| -rw-r--r-- | 20_linux_xen-select-gzipped-xen-only.patch | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/20_linux_xen-select-gzipped-xen-only.patch b/20_linux_xen-select-gzipped-xen-only.patch new file mode 100644 index 000000000000..b2414bb845ef --- /dev/null +++ b/20_linux_xen-select-gzipped-xen-only.patch @@ -0,0 +1,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= |