partial/debootstrap.d/update-grub.diff

   1 --- update-grub.orig    2008-04-22 01:13:34.000000000 -0400
   2 +++ update-grub 2008-04-22 01:13:13.000000000 -0400
   3 @@ -1036,10 +1036,10 @@
   4
   5         if [ ! "$in_domU" ] && [ "$is_xen" ]; then
   6           # skip xen kernels
   7 -          continue
   8 +         :
   9          elif [ "$in_domU" ] && ! [ "$is_xen" ]; then
  10           # skip non-xen kernels
  11 -         continue
  12 +         :
  13          fi
  14          kern="/boot/$kern"
  15         newerKernels=""