On Wed, Nov 14, 2007 at 10:46:03PM +0000, David Laight wrote:
> The 'current' i386 build seems to fail trying to build the XEN3_DOMU kernel
> with:
> 
> nbmake: nbmake: don't know how to make machine/xen3-public/sched_ctl.h. Stop
> 
> This happens during the 'depend' phase - even with a clean obj directory.

It builds fine for me, are you sure you don't have a stale .depend ?

-- 
Manuel Bouyer <bouyer@antioche.eu.org>
     NetBSD: 26 ans d'experience feront toujours la difference
--