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

[Bjoern A. Zeeb]

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.

/bz

-- 
Bjoern A. Zeeb         It will not break if you know what you are doing.