* admin/update_autogen: Handle git worktree.

rgmorris · rgmorris · commit 3e322df06003 · 2019-05-01T09:15:59.000-07:00
; No need to merge to master.
diff --git 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 ()
 {

Original file line number	Diff line number	Diff line change
`@@ -47,7 +47,7 @@ cd $PD`
`47`	`47`	`cd ../`
`48`	`48`	`[ -d admin ] \|\| die "Could not locate admin directory"`
`49`	`49`
`50`		`-[ -d .git ] \|\| die "No .git directory"`
	`50`	`+[ -e .git ] \|\| die "No .git"`
`51`	`51`
`52`	`52`	`usage ()`
`53`	`53`	`{`