Re: [PATCH 2/3] Makefile: split GIT_USER_AGENT from GIT-CFLAGS

From: Junio C Hamano <gitster@pobox.com>
Date: Jun 19, 2012, 20:38 UTC
Message-ID: <7vr4tbyr33.fsf@alter.siamese.dyndns.org>
In-Reply-To: <20120619200147.GB14714@sigill.intra.peff.net>

Jeff King <peff@peff.net> writes:

Show 10 quoted lines

> The default user-agent depends on the GIT_VERSION, which
> means that anytime you switch versions, it causes a full
> rebuild. Instead, let's split it out into its own file and
> restrict the dependency to version.o.
>
> Signed-off-by: Jeff King <peff@peff.net>
> ---
> This can't just depend on GIT-VERSION-FILE, since the user may have set
> GIT_USER_AGENT independently, and we would want to trigger a rebuild in
> that case.

OK.  Will queue.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.