Richard Earnshaw <Richard.Earnshaw@buzzard.freeserve.co.uk> writes:

> On Mon, 07 Aug 2006 13:42:46 PDT, Bucky Katz wrote:
>> 
>> That's what I'm doing, but it doesn't work if the userland is v4t, the
>> kernel is v5t and you try to make relase with build.sh.
>> 
>> As far as I've found there's no combination of arch, cpu, and tune
>> flags that won't cause gcc to get heart burn. What am I missing?
>> 
>
> Ah! I haven't tried the situation where userland has one setting and the 
> kernel has another.
>
> Try wrapping your mk.conf definitions with
>
> .if !defined(KERNEL_BUILD)
> ...
> .endif
>
> KERNEL_BUILD is defined on the first line of the kernel makefile; I don't 
> think it's ever defined elsewhere.


Bingo! That seems to do the trick.