Re: scheduler changes broke xen?

[Christoph Egger <Christoph_Egger%gmx.de@localhost>]

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