[PATCHv3 05/11] Makefile: do not replace @@GIT_USER_AGENT@@ in scripts
- From
Jeff King <peff@peff.net>
- Date
- Jun 20, 2012, 18:31 UTC
- Message-ID
- <20120620183142.GE30995@sigill.intra.peff.net>
- In-Reply-To
- <20120620182855.GA26948@sigill.intra.peff.net>
No scripts actually care about this replacement. This was erroneously added by d937411.
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' \
-- 1.7.11.5.gc0eeaa8