Re: [PATCHv3 06/11] Makefile: split GIT_USER_AGENT from GIT-CFLAGS
- From
Jeff King <peff@peff.net>
- Date
- Jun 20, 2012, 22:16 UTC
- Message-ID
- <20120620221616.GC3302@sigill.intra.peff.net>
- In-Reply-To
- <20120620212135.GE6142@burratino>
On Wed, Jun 20, 2012 at 04:21:35PM -0500, Jonathan Nieder wrote:
Show 6 quoted lines
> Jeff King wrote: > > > + @if test x'$(GIT_USER_AGENT_SQ)' != x"`cat GIT-USER-AGENT 2>/dev/null`"; then \ > > + echo >&2 " * new user-agent flag"; \ > > Micronit: the term "new user-agent string" would be clearer.
Probably. I am tempted to get rid of the informative message altogether. For CFLAGS, you might be confused why everything is being rebuilt, since the dependency chain is not straightforward. For this, it's kind of obvious.
> Re the lack of _HTTP: interesting. Is the plan to use this for > other protocols, too?
Look at the jk/version-string topic that this is based on. :)
-Peff