On Wed, 2021-12-15 at 17:59 +0100, Andrea Monaco wrote:
> In my opinion, those messages should always come with a chdir.
Well, make can't know whether the previous make started in the same
directory or not, at least not reliably.
If you do something like the very common, and POSIX-compatible:
Hello!
I noticed that when invoking make in the current directory, say
"/home/john/foo", it often starts with the message
make[1]: Entering directory '/home/john/foo'
and ends with
make[1]: Leaving directory '/home/john/foo'
A message like that is correct and useful when make descends
