> my gentoo just suprised me with the following:
> 
> gwinet linux # pwd
> /usr/src/linux
> gwinet linux # make all
> [...] some strange error
> 
> 
> Hooray!

Hmmm, did a "make clean" and then a "make all" - and now it works
without problems. Strange ...