void-packages/srcpkgs/grub/patches/20_linux_xen_misc_fixes.patch

17 lines
746 B
Diff

Only process xen image files with .gz extension and regular files
not symlinks.
--- util/grub.d/20_linux_xen.in.orig 2011-02-09 14:34:45.239824080 +0100
+++ util/grub.d/20_linux_xen.in 2011-02-09 14:36:26.760493023 +0100
@@ -98,8 +98,8 @@ linux_list=`for i in /boot/vmlinu[xz]-*
version=$(echo $basename | sed -e "s,^[^0-9]*-,,g")
if grub_file_is_not_garbage "$i" && grep -qx "CONFIG_XEN_DOM0=y" /boot/config-${version} 2> /dev/null ; then echo -n "$i " ; fi
done`
-xen_list=`for i in /boot/xen*; do
- if grub_file_is_not_garbage "$i" ; then echo -n "$i " ; fi
+xen_list=`for i in /boot/xen*.gz; do
+ if grub_file_is_not_garbage "$i" && ! test -h "$i"; then echo -n "$i " ; fi
done`
prepare_boot_cache=