Re: [PATCHv3 06/11] Makefile: split GIT_USER_AGENT from GIT-CFLAGS

On Wed, Jun 20, 2012 at 04:21:35PM -0500, Jonathan Nieder wrote:

Jeff King wrote:

quoted

+	@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