From 3e322df06003e64a491bca47fd14f652374ac3a4 Mon Sep 17 00:00:00 2001 From: Glenn Morris Date: Wed, 1 May 2019 09:15:59 -0700 Subject: [PATCH] * admin/update_autogen: Handle git worktree. ; No need to merge to master. --- admin/update_autogen | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/admin/update_autogen b/admin/update_autogen index 67ed5d66465..651d35beafb 100755 --- 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 () { -- 2.39.5