Subject: Re: kernel won't build on arm32
To: Reinoud Zandijk <imago@kabel065011.kabel.utwente.nl>
From: Chris Gilbert <chris@paradox.demon.co.uk>
List: port-arm32
Date: 02/17/2001 22:47:45
On Saturday 17 February 2001 10:44 pm, Reinoud Zandijk wrote:
> Hi Chris,
>
> On Sat, 17 Feb 2001, Chris Gilbert wrote:
> > I've just built one (note with quite the latest source, but post the
> > change from simon burge, but pre ben's change)  I'm trying to keep my
> > source stable so I can actually do a snapshot of current for those that
> > are interested.
>
> I think my source is too new then :) ... hmm... must have been with the
> merging of the libkern stuff then ...

Sorry I meant this is post the merge, but before Ben's change to libkern to 
use MACHINE_CPU if MACHINE_ARCH doesn't exist.

Maybe you need to reconfigure? or make clean (although you said that isn't an 
easy option for you) in the libkern dir?

Cheers,
Chris