[PATCH] make /sbin/installkernel with kernel's "make install"

[Jesse Barnes]

The upstream kernel has an "install" option which is handy for
development.  It uses /sbin/installkernel to set up the new kernel
(make the initrd and update GRUB).  Unfortunately, on
Ubuntu, /sbin/installkernel doesn't actually do everything necessary to
set up the new kernel (no initrd, no GRUB update).  This patch fixes
that for me, but may not be correct in all cases.  Any thoughts?

Please cc me on reply, I'm not subscribed to the kernel-team list.

Thanks,
Jesse

--- installkernel.orig	2009-05-26 00:16:48.000000000 -0700
+++ installkernel	2009-05-26 00:26:21.000000000 -0700
@@ -74,5 +74,8 @@
 #   mkboot -i ${dir}/vmlinuz-${ver}                                    #
 # fi                                                                   #
 ########################################################################
+
+update-initramfs -k $ver -c
+update-grub
  
 exit 0