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

On Wed, Apr 20, 2016 at 6:28 AM, David Turner [off-list ref] wrote:

+       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;
+       }
+

We probably should warn people if index-helper is not built with
watchman support, which makes this knob completely useless. If
watchman fails to start, that's a separate problem..
-- 
Duy