head build error (header pollution ?) after 249958

[Luigi Rizzo]

On Sun, May 05, 2013 at 01:52:37PM +0200, Dimitry Andric wrote:
> On May 5, 2013, at 12:04, Luigi Rizzo <rizzo at iet.unipi.it> wrote:
> > Since svn 249959 (when NO_IDEA was removed) I cannot build HEAD on
> > a somewhat recent stable/9 (see below; kernel and userland in sync)
>...
> > Any idea on how to fix this problem (which probably may affect
> > cross builds in general) ?
> 
> No idea, sorry.  I have never seen this problem.  I have even built very recent head on 8.1-RELEASE and 7.3-RELEASE, with a few minor patches...

my bad, after further investigation it turns out that the
checkout directory was spammed with some extra directories,
which probably caused old copies of the headers to be installed.

sorry for the noise
luigi