On 12/21 11:22, Ed Gould wrote:
> > I guess "/usr/src/current" is where the source is? Try moving the
> > source to "/usr/src/current/src" -- any subdirectory called "obj"
> > is special. If that's the problem, this issue has arisen before:
> > PR bin/238212 is only the latest formal complaint about that.
> 
> I looked for that PR and didn't find it (typo in number?), but I don't 
> think that's the problem.

23821