Re: scheduler changes broke xen?

On Tue, Oct 09, 2007 at 02:30:02AM -0400, Thor Lancelot
Simon wrote:
> I get this on an i386 'make release':
> 
> /src/sys/dev/pci/auvia.c
> nbmake: don't know how to make
machine/xen3-public/sched_ctl.h. Stop

Please check you don't have a stale .depend. This could be a
fallout from
the header updates I commited a few days ago.

-- 
Manuel Bouyer, LIP6, Universite Paris VI.          
Manuel.Bouyerlip6.fr
     NetBSD: 26 ans d'experience feront toujours la
difference
--

On Tuesday 09 October 2007 11:19:40 Manuel Bouyer wrote:
> On Tue, Oct 09, 2007 at 02:30:02AM -0400, Thor Lancelot
Simon wrote:
> > I get this on an i386 'make release':
> >
> > /src/sys/dev/pci/auvia.c
> > nbmake: don't know how to make
machine/xen3-public/sched_ctl.h. Stop

I also stumbled over this, after Manuel updated the xen
headers.
"make clean" is not equal to actually removing
compile/XEN3_DOM0
and re-run config XEN3_DOM0.

> Please check you don't have a stale .depend. This could
be a fallout from
> the header updates I commited a few days ago.

Removing the .depend is not enough. There are also lots of
*.d files.
When these are still there, "make depend" will
regenerate the stale .depend.

Isn't there a "make clean-depend" that is really
equal with removing
compile/XEN3_DOM0 and re-running "config
XEN3_DOM0" ?

Christoph