For some reason I can't build tools/file.

So far, with code from a few minutes ago, build.sh fails with

config.status: executing depfiles commands
make: don't know how to make all. Stop

in src/tools/file.

Going into that directory, a make dependall succeeded.
I rebuilt make (the system make was from 24th June) and installed it.
Tried going into src/tools/file and rebuilding with the new make -> same
failure as with build.sh.

(I'll try a cycle with USETOOLS=no..)

Cheers,

Patrick