[PATCH] Make update_autogen work in git worktrees

[Robert Pluim]

Hi,

update_autogen currently insists on have a real git repo to work in,
but it works fine in a git worktree with the attached applied. 'git
rev-parse --git-dir' has existed since at least git 0.99. OK for
master?

Robert

>From 6c1791a2f10ad0559ea854d36e6c936e5756f087 Mon Sep 17 00:00:00 2001
From: Robert Pluim <address@hidden>
Date: Thu, 22 Mar 2018 09:06:44 +0100
Subject: [PATCH] Make update_autogen work in git worktrees

* admin/update_autogen: Make it work in a git worktree
---
 admin/update_autogen | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/admin/update_autogen b/admin/update_autogen
index d211867479..f4c2c39825 100755
--- a/admin/update_autogen
+++ b/admin/update_autogen
@@ -47,7 +47,7 @@ PD=
 cd ../
 [ -d admin ] || die "Could not locate admin directory"
 
-[ -d .git ] || die "No .git directory"
+[ -d .git ] || git rev-parse --git-dir > /dev/null 2>&1 || die "Not in a git 
repository"
 
 usage ()
 {
-- 
2.16.1.72.g5be1f00a9