diff options
| author | Tomi Ollila <tomi.ollila@iki.fi> | 2016-05-26 00:04:30 +0300 |
|---|---|---|
| committer | David Bremner <david@tethera.net> | 2016-06-11 13:13:48 -0300 |
| commit | 57bd4cf3221a56f8fd8a27af541d6cc8b4011b62 (patch) | |
| tree | 0b91bc0c66afe384e0cfcc56784c6e3c8528cf67 | |
| parent | 2333a44ab7280a286af38e589a4bbc712bc3589a (diff) | |
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.
| -rw-r--r-- | Makefile.local | 2 |
1 files changed, 1 insertions, 1 deletions
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) |