Re: [PATCHv3 05/11] Makefile: do not replace @@GIT_USER_AGENT@@ in scripts

From: Junio C Hamano <gitster@pobox.com>
Date: Jun 20, 2012, 20:06 UTC
Message-ID: <7vobodu4sj.fsf@alter.siamese.dyndns.org>
In-Reply-To: <20120620183142.GE30995@sigill.intra.peff.net>

Jeff King <peff@peff.net> writes:

> No scripts actually care about this replacement. This was
> erroneously added by d937411.

d937411???

Show 18 quoted lines

>
> Signed-off-by: Jeff King <peff@peff.net>
> ---
>  Makefile | 1 -
>  1 file changed, 1 deletion(-)
>
> diff --git a/Makefile b/Makefile
> index d2112f8..336cfc4 100644
> --- a/Makefile
> +++ b/Makefile
> @@ -2010,7 +2010,6 @@ sed -e '1s|#!.*/sh|#!$(SHELL_PATH_SQ)|' \
>      -e 's|@SHELL_PATH@|$(SHELL_PATH_SQ)|' \
>      -e 's|@@DIFF@@|$(DIFF_SQ)|' \
>      -e 's/@@GIT_VERSION@@/$(GIT_VERSION)/g' \
> -    -e 's|@@GIT_USER_AGENT@@|$(GIT_USER_AGENT_SQ)|g' \
>      -e 's|@@LOCALEDIR@@|$(localedir_SQ)|g' \
>      -e 's/@@NO_CURL@@/$(NO_CURL)/g' \
>      -e 's/@@USE_GETTEXT_SCHEME@@/$(USE_GETTEXT_SCHEME)/g' \