diff options
| author | Jonathan Nieder <jrnieder@gmail.com> | 2012-07-07 08:42:11 +0400 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2012-07-09 19:56:37 +0400 |
| commit | 33ddbcb01208f93c20ac4b904ad3d76777144882 (patch) | |
| tree | cf5d0e8e426b0ab30c8d8a89bf962cd33c0eab65 /.gitignore | |
| parent | 620c293abdc36f3db18edd61a622eae30f01ce8e (diff) | |
Makefile: be silent when only GIT_USER_AGENT changes
To avoid noise during builds, unlike the GIT-CFLAGS rule which prints
"* new build flags or prefix" so the operator knows why all files are
being rebuilt when it changes, GIT-USER-AGENT generation is silent.
If this code breaks and a target depending on GIT-USER-AGENT ends up
being rebuilt when it shouldn't be, the full dependency chain can be
retrieved with "make --debug=b".
Signed-off-by: Jonathan Nieder <jrnieder@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions