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 /git-gui/lib/console.tcl | |
| 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 'git-gui/lib/console.tcl')
0 files changed, 0 insertions, 0 deletions