Ticket #64: update-grub.diff
File update-grub.diff, 422 bytes (added by broder, 16 years ago) |
---|
-
update-grub
old new 1036 1036 1037 1037 if [ ! "$in_domU" ] && [ "$is_xen" ]; then 1038 1038 # skip xen kernels 1039 continue 1039 #continue 1040 : 1040 1041 elif [ "$in_domU" ] && ! [ "$is_xen" ]; then 1041 1042 # skip non-xen kernels 1042 continue 1043 #continue 1044 : 1043 1045 fi 1044 1046 kern="/boot/$kern" 1045 1047 newerKernels=""