Andrew's git / gitweb.git / diff
?
Makefile: do not replace @@GIT_USER_AGENT@@ in scripts
authorJeff King <peff@peff.net>
Wed, 20 Jun 2012 18:31:42 +0000 (14:31 -0400)
committerJunio C Hamano <gitster@pobox.com>
Mon, 9 Jul 2012 14:57:29 +0000 (07:57 -0700)
No scripts actually care about this replacement. This was
erroneously added by 42dcbb7 (version: add git_user_agent function,
2012-06-02).

Signed-off-by: Jeff King <peff@peff.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Makefile patch | blob | history
diff --git a/Makefile b/Makefile
index 3f82b51b823174e5f74235cff37aedf108284b43..d41231529d43d3704205d7bd8856e43c7274cf56 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -2007,7 +2007,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' \