* admin/update_autogen: Handle git worktree.

; No need to merge to master.
This commit is contained in:
Glenn Morris 2019-05-01 09:15:59 -07:00
parent ec02c736d6
commit 3e322df060

View file

@ -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 ()
{