From 1e1eb50e5e775165664eacf815a7bdb354337f58 Mon Sep 17 00:00:00 2001 From: Vladimir 'phcoder' Serbinenko Date: Tue, 5 Jun 2012 11:55:48 +0200 Subject: [PATCH] * util/grub.d/20_linux_xen.in: Skip xen-syms. --- ChangeLog | 4 ++++ util/grub.d/20_linux_xen.in | 12 +++++++++++- 2 files changed, 15 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index f35170d68..1e5bfcdd8 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2012-06-05 Vladimir Serbinenko + + * util/grub.d/20_linux_xen.in: Skip xen-syms. + 2012-06-05 Vladimir Serbinenko * util/grub-probe.c (escape_of_path): Don't add ieee1275/. diff --git a/util/grub.d/20_linux_xen.in b/util/grub.d/20_linux_xen.in index 169aa6683..1d94502ee 100644 --- a/util/grub.d/20_linux_xen.in +++ b/util/grub.d/20_linux_xen.in @@ -156,8 +156,18 @@ linux_list=`for i in /boot/vmlinu[xz]-* /vmlinu[xz]-* /boot/kernel-*; do if [ "x${linux_list}" = "x" ] ; then exit 0 fi + +file_is_not_sym () { + case "$1" in + */xen-syms-*) + return 1;; + *) + return 0;; + esac +} + xen_list=`for i in /boot/xen*; do - if grub_file_is_not_garbage "$i" ; then echo -n "$i " ; fi + if grub_file_is_not_garbage "$i" && file_is_not_sym "$i" ; then echo -n "$i " ; fi done` prepare_boot_cache= boot_device_id=