vbatts/grub
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

Fix detection of dom0 kernels

Browse source
This commit is contained in:
Vladimir 'phcoder' Serbinenko 2010-06-28 02:24:08 +02:00
parent 19dcc49086
commit d86e186ff1
1 changed files with 4 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

6
util/grub.d/20_linux_xen.in
View file

@ -85,8 +85,10 @@ EOF
EOF EOF
} }
linux_list=`for i in /boot/vmlinu[xz]-*jeremy* /vmlinu[xz]-*jeremy* ; do linux_list=`for i in /boot/vmlinu[xz]-* /vmlinu[xz]-* ; do
if grub_file_is_not_garbage "$i" ; then echo -n "$i " ; fi basename=$(basename $i)
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` done`
xen_list=`for i in /boot/xen*; do 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" ; then echo -n "$i " ; fi