17 lines
746 B
Diff
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=
|
|
|