Re: [PATCH 1/3] Makefile.local: set IS_GIT = yes when regular file $srcdir/.git exists

Subject: Re: [PATCH 1/3] Makefile.local: set IS_GIT = yes when regular file $srcdir/.git exists

Date: Sun, 04 Sep 2016 08:21:45 -0300

To: Tomi Ollila, notmuch@notmuchmail.org

Cc: tomi.ollila@iki.fi

From: David Bremner


David Bremner <david@tethera.net> writes:

> Tomi Ollila <tomi.ollila@iki.fi> writes:
>
>> $srcdir/.git may also be file. E.g. `git worktree` creates .git file
>> while new working tree is populated.
>
> pushed the first patch only
>

Pushed the second two patches

d

Thread: