Re: [PATCH v5 10/15] update-index: enable/disable watchman support
- From
Duy Nguyen <pclouds@gmail.com>
- Date
- Apr 19, 2016, 23:45 UTC
- Message-ID
- <CACsJy8D34SKcA0dsG0ZrsOZiOFLwgEuG-TJ914t4qFV1xZGnew@mail.gmail.com>
- In-Reply-To
- <1461108489-29376-11-git-send-email-dturner@twopensource.com>
On Wed, Apr 20, 2016 at 6:28 AM, David Turner <dturner@twopensource.com> wrote:
Show 8 quoted lines
> + 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