diff options
author | Junio C Hamano <gitster@pobox.com> | 2013-01-30 08:53:02 -0800 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2013-01-30 08:53:02 -0800 |
commit | 070c57df42ea4eadcc43d0456d114560124326c3 (patch) | |
tree | 27fe6ad8de6f53583f797dd50e21b4241d8261aa /cache.h | |
parent | 7b5196909c7773a3ce6d3cd0ba78f42249bf27c3 (diff) | |
parent | c08e4d5b5cfa9f692cb8c81e5e9615e330f299c2 (diff) | |
download | git-070c57df42ea4eadcc43d0456d114560124326c3.tar.gz |
Merge branch 'rr/minimal-stat'
Some reimplementations of Git does not write all the stat info back
to the index due to their implementation limitations (e.g. jgit
running on Java). A configuration option can tell Git to ignore
changes to most of the stat fields and only pay attention to mtime
and size, which these implementations can reliably update. This
avoids excessive revalidation of contents.
* rr/minimal-stat:
Enable minimal stat checking
Diffstat (limited to 'cache.h')
-rw-r--r-- | cache.h | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -536,6 +536,7 @@ extern int delete_ref(const char *, const unsigned char *sha1, int delopt); /* Environment bits from configuration mechanism */ extern int trust_executable_bit; extern int trust_ctime; +extern int check_stat; extern int quote_path_fully; extern int has_symlinks; extern int minimum_abbrev, default_abbrev; |