Make update_autogen work in git worktrees

* admin/update_autogen: Make it work in a git worktree
This commit is contained in:
Robert Pluim 2018-03-22 09:06:44 +01:00
parent dfea6d5a4a
commit 31ce174a72

View file

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