On 08/09/20 14:30, Laszlo Ersek wrote: > > The current working directory is the source tree. > > The working directory is pristine, as in: > $ git reset --hard > $ git clean -ffdx > $ git submodule deinit --force --all > > Then: > > $ git submodule update --init --force > $ make clean > $ git status
I see. We should probably rename the Makefile in the source tree, since it is only meant to be used from the build tree. Paolo
