* admin/update_autogen: Handle git worktree.

; No need to merge to master.

diff --git a/admin/update_autogen b/admin/update_autogen
index 67ed5d66465eb95f2399c7e0a683c6e2a4cb84b5..651d35beafbfda5fa32955dded9af6857ade836b 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"
+[ -e .git ] || die "No .git"
 
 usage ()
 {