Re: Why does make run git?

[Eli Zaretskii]

> Cc: address@hidden, address@hidden
> From: Paul Eggert <address@hidden>
> Date: Wed, 2 Aug 2017 10:56:53 -0700
> 
> To help improve the situation I propose the attached patch, which 
> reverts the default ./autogen.sh behavior to be './autogen.sh all', the 
> way it used to be (briefly). Developers who want autogen.sh to leave 
> their Git settings alone can continue to use './autogen.sh autoconf'.

AFAIU, doing that will silently force the installation of the
Git-related stuff when I run just "make", and Make decides it needs to
invoke autogen.sh, because the fact that I originally used the
non-default argument isn't recorded anywhere, and thus cannot be
replayed.  Right?  If so, I don't think I will like this change.