Improved INCLUDE_CONFIG_FILE

[John-Mark Gurney]

Peter Jeremy wrote this message on Mon, Mar 26, 2007 at 21:17 +1000:
> This could potentially happen if you ran two or more installkernels
> without rebooting but I can't think of any reason why I would do that:

installkernel is smart enough only to move kernel to kernel.old if the
current bootfile is kernel...  So, running installkernel twice won't
delete the current running kernel..

-- 
  John-Mark Gurney				Voice: +1 415 225 5579

     "All that I will do, has been done, All that I have, has not."