* util/grub.d/20_linux_xen.in: Skip xen-syms.

diff --git a/ChangeLog b/ChangeLog
index f35170d6812066fa904ff32f1683bcc76afb8885..1e5bfcdd8899b7061531d3a7640b29c4c6424592 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2012-06-05  Vladimir Serbinenko  <phcoder@gmail.com>
+
+       * util/grub.d/20_linux_xen.in: Skip xen-syms.
+
 2012-06-05  Vladimir Serbinenko  <phcoder@gmail.com>
 
        * 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 169aa6683ba2b24255c162154a311eeecd971468..1d94502eed4212594979a7a25c17c75034cbb69f 100644 (file)
--- 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=