--- update-grub.orig	2008-04-22 01:13:34.000000000 -0400
+++ update-grub	2008-04-22 01:13:13.000000000 -0400
@@ -1036,10 +1036,10 @@
 
 	if [ ! "$in_domU" ] && [ "$is_xen" ]; then
 	  # skip xen kernels
-          continue
+	  :
         elif [ "$in_domU" ] && ! [ "$is_xen" ]; then
 	  # skip non-xen kernels
-	  continue
+	  :
         fi
         kern="/boot/$kern"
 	newerKernels=""