Jarmo Hurri <jarmo.hu...@iki.fi> writes: > Running 'make cleanall' didn't help. > > However, a fresh clone followed by a reconfiguration of local.mk solved > the issue. Most likely the result of a local.mk that is no longer > consistent.
Just FYI, you can avoid having to re-clone the repo by running git reset --hard && git clean -dfx which resets the working tree completely and deletes all files that are unknown to git. Of course, you should probably add `--dry-run` first, to make sure you don't delete anything you want.