diff options
author | Jeff King <peff@peff.net> | 2012-06-20 14:31:51 -0400 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2012-07-09 07:57:29 -0700 |
commit | 620c293abdc36f3db18edd61a622eae30f01ce8e (patch) | |
tree | c43dbc02a81dbfcf01597e152d94c9fc20dc62bd /.gitignore | |
parent | Makefile: do not replace @@GIT_USER_AGENT@@ in scripts (diff) | |
download | tgif-620c293abdc36f3db18edd61a622eae30f01ce8e.tar.xz |
Makefile: split GIT_USER_AGENT from GIT-CFLAGS
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>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index bf66648e2c..7329cfe5c3 100644 --- a/.gitignore +++ b/.gitignore @@ -2,6 +2,7 @@ /GIT-CFLAGS /GIT-LDFLAGS /GIT-GUI-VARS +/GIT-USER-AGENT /GIT-VERSION-FILE /bin-wrappers/ /git |