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

[David Wolfskill]

On Fri, Jan 08, 2010 at 08:31:11AM -0500, John Baldwin wrote:
> ....
> > >>> 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'.

Sure; that works for me.  The intent is to provide information that
might be useful, after all.  :-}

Peace,
david
-- 
David H. Wolfskill				david at catwhisker.org
Depriving a girl or boy of an opportunity for education is evil.

See http://www.catwhisker.org/~david/publickey.gpg for my public key.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 195 bytes
Desc: not available
Url : http://lists.freebsd.org/pipermail/freebsd-hackers/attachments/20100108/68cef197/attachment.pgp