From: Junio C Hamano <gitster@pobox.com>
Date: Tue, 19 Jun 2012 20:38:56 GMT
Subject: Re: [PATCH 2/3] Makefile: split GIT_USER_AGENT from GIT-CFLAGS
Message-ID: <7vr4tbyr33.fsf@alter.siamese.dyndns.org>
In-Reply-To: <20120619200147.GB14714@sigill.intra.peff.net>

Jeff King <peff@peff.net> writes:

> 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.