Re: [PATCH v4 15/22] read-cache: touch shared index files when used
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Mar 1, 2017, 21:34 UTC
- Message-ID
- <xmqqinnsfzqp.fsf@gitster.mtv.corp.google.com>
- In-Reply-To
- <20170227180019.18666-16-chriscool@tuxfamily.org>
Christian Couder <christian.couder@gmail.com> writes:
Show 11 quoted lines
> +/*
> + * Signal that the shared index is used by updating its mtime.
> + *
> + * This way, shared index can be removed if they have not been used
> + * for some time.
> + */
> +static void freshen_shared_index(char *base_sha1_hex, int warn)
> +{
> + const char *shared_index = git_path("sharedindex.%s", base_sha1_hex);
> + if (!check_and_freshen_file(shared_index, 1) && warn)
> + warning("Could not freshen shared index '%s'", shared_index);I'll downcase "Could" to match existing convention (no need to resend only to update this one).