Patch to Makefile.inc1 to mention which kernel config is being installed

[John Baldwin]

On Tuesday 05 January 2010 9:17:22 am Bjoern A. Zeeb wrote:
> On Tue, 5 Jan 2010, David Wolfskill wrote:
> 
> > On Tue, Jan 05, 2010 at 01:59:13PM +0000, Bjoern A. Zeeb wrote:
> >> On Tue, 5 Jan 2010, David Wolfskill wrote:
> >>
> >>> Attached patch is against head; for the above, I had patched stable/7.
> >>>
> >>> Thoughts?
> >>
> >> INSTKERNNAME rather than INSTALLKERNEL?
> >
> > Well, I was interested in knowing which config was being used, not so
> > much what the name of the subdirectory in /boot was going to be.
> >
> > (Default value for INSTKERNNAME is "kernel", which isn't something I
> > find useful to report.)
> 
> Woopps. Cache-corruption;-) The original one is fine then.

Or maybe 'Installing INSTALLKERNEL as INSTKERNNAME'.

-- 
John Baldwin