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