[PATCH 5/5] update-index: enable/disable watchman support

[Nguyễn Thái Ngọc Duy]

Signed-off-by: Nguyễn Thái Ngọc Duy <pclo...@gmail.com>
---
 builtin/update-index.c | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/builtin/update-index.c b/builtin/update-index.c
index 7431938..86aec21 100644
--- a/builtin/update-index.c
+++ b/builtin/update-index.c
@@ -903,6 +903,7 @@ int cmd_update_index(int argc, const char **argv, const 
char *prefix)
 {
        int newfd, entries, has_errors = 0, line_termination = '\n';
        int untracked_cache = -1;
+       int use_watchman = -1;
        int read_from_stdin = 0;
        int prefix_length = prefix ? strlen(prefix) : 0;
        int preferred_index_format = 0;
@@ -998,6 +999,8 @@ int cmd_update_index(int argc, const char **argv, const 
char *prefix)
                        N_("enable/disable untracked cache")),
                OPT_SET_INT(0, "force-untracked-cache", &untracked_cache,
                            N_("enable untracked cache without testing the 
filesystem"), 2),
+               OPT_BOOL(0, "watchman", &use_watchman,
+                       N_("use or not use watchman to reduce refresh cost")),
                OPT_END()
        };
 
@@ -1127,6 +1130,14 @@ int cmd_update_index(int argc, const char **argv, const 
char *prefix)
                the_index.cache_changed |= UNTRACKED_CHANGED;
        }
 
+       if (use_watchman > 0) {
+               the_index.last_update    = xstrdup("");
+               the_index.cache_changed |= WATCHMAN_CHANGED;
+       } else if (!use_watchman) {
+               the_index.last_update    = NULL;
+               the_index.cache_changed |= WATCHMAN_CHANGED;
+       }
+
        if (active_cache_changed) {
                if (newfd < 0) {
                        if (refresh_args.flags & REFRESH_QUIET)
-- 
2.2.0.513.g477eb31

--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majord...@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html