Re: [PATCH v5 10/15] update-index: enable/disable watchman support

2016-04-20 Thread David Turner
On Wed, 2016-04-20 at 06:45 +0700, Duy Nguyen wrote: > On Wed, Apr 20, 2016 at 6:28 AM, David Turner < > dtur...@twopensource.com> wrote: > > + if (use_watchman > 0) { > > + the_index.last_update= xstrdup(""); > > + the_index.cache_changed |= WATCHMAN_CHANGED;

Re: [PATCH v5 10/15] update-index: enable/disable watchman support

2016-04-19 Thread Duy Nguyen
On Wed, Apr 20, 2016 at 6:28 AM, David Turner wrote: > + if (use_watchman > 0) { > + the_index.last_update= xstrdup(""); > + the_index.cache_changed |= WATCHMAN_CHANGED; > + } else if (!use_watchman) { > +

[PATCH v5 10/15] update-index: enable/disable watchman support

2016-04-19 Thread David Turner
From: Nguyễn Thái Ngọc Duy Signed-off-by: Nguyễn Thái Ngọc Duy Signed-off-by: David Turner --- Documentation/git-index-helper.txt | 3 +++ Documentation/git-update-index.txt | 6 ++ builtin/update-index.c | 11