Re: build.sh trying to write to source tree

[Martin Husemann <martin%duskware.de@localhost>]

On Tue, Jun 03, 2025 at 12:14:29PM +0200, Edgar Fuß wrote:
> > Is this a clean build or a -u one?
> -u.
> 
> > Can you check if there are any files in src-10/tools/what that don't
> > belong there?
> It's just CVS and Makefile.
> 
> > Also please check all files in there are owned by the soure owner user.
> Yes, they both are.

OK, can you see if you can reproduce it after removing (or renaming)
$OBJDIR/tools/what ?

Martin