From: Tomi Ollila <tomi.ollila@iki.fi>
Date: Wed, 25 May 2016 21:04:30 +0000 (+0300)
Subject: Makefile.local: set IS_GIT = yes when regular file $srcdir/.git exists
X-Git-Tag: 0.23_rc0~82
X-Git-Url: https://git.notmuchmail.org/git?p=notmuch;a=commitdiff_plain;h=57bd4cf3221a56f8fd8a27af541d6cc8b4011b62

Makefile.local: set IS_GIT = yes when regular file $srcdir/.git exists

$srcdir/.git may also be file. E.g. `git worktree` creates .git file
while new working tree is populated.
---

diff --git a/Makefile.local b/Makefile.local
index cf16185e..f2ad0c12 100644
--- a/Makefile.local
+++ b/Makefile.local
@@ -10,7 +10,7 @@
 # repository), we let git append identification of the actual commit.
 PACKAGE=notmuch
 
-IS_GIT=$(shell if [ -d ${srcdir}/.git ] ; then echo yes ; else echo no; fi)
+IS_GIT=$(shell if [ -d ${srcdir}/.git -o -f ${srcdir}/.git ] ; then echo yes ; else echo no; fi)
 
 ifeq ($(IS_GIT),yes)
 DATE:=$(shell git --git-dir=${srcdir}/.git log --date=short -1 --pretty=format:%cd)