auto-version.in: Don't insist that `.git' is a directory.

Nowadays, `git worktree' can cause this to be a regular file instead,
and it's a shame if we can't spot it properly.

(cherry picked from commit e3bf207c8bde1191c3850debd27ac604305bff31)

diff --git a/auto-version.in b/auto-version.in
index c9b1e27aa94f99c4119a23fe000ed947b85547bb..d229a2975241d1e0bdc71a23a231c75745d0cd1e 100755 (executable)
--- a/auto-version.in
+++ b/auto-version.in
@@ -71,7 +71,7 @@ fi
 ### Main program.
 
 ## If this is a Git checkout then Git should be able to identify the version.
-if [ -d .git ] && version=$(git describe --abbrev=4 2>/dev/null); then
+if [ -e .git ] && version=$(git describe --abbrev=4 2>/dev/null); then
 
   ## If the working tree is dirty, indicate with a `+'.
   case "$(git diff-index --name-only HEAD)" in