Ticket #64: update-grub.diff

File update-grub.diff, 422 bytes (added by broder, 16 years ago)

Patch to cause update-grub to put both Xen and non-Xen kernels in /boot/grub/menu.lst

  • update-grub

    old new  
    10361036
    10371037        if [ ! "$in_domU" ] && [ "$is_xen" ]; then
    10381038          # skip xen kernels
    1039           continue
     1039          #continue
     1040          :
    10401041        elif [ "$in_domU" ] && ! [ "$is_xen" ]; then
    10411042          # skip non-xen kernels
    1042           continue
     1043          #continue
     1044          :
    10431045        fi
    10441046        kern="/boot/$kern"
    10451047        newerKernels=""