Make update_autogen work in git worktrees

* admin/update_autogen: Make it work in a git worktree

diff --git a/admin/update_autogen b/admin/update_autogen
index d2118674792609b77fa232393fc4dd35c25f156c..f4c2c39825cb7d93da0c83e434ebf1e6f1330b3f 100755 (executable)
--- a/admin/update_autogen
+++ b/admin/update_autogen
@@ -47,7 +47,7 @@ cd $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 ()
 {