From 31ce174a7228499eb2264e701fd8d16bd291c25f Mon Sep 17 00:00:00 2001 From: Robert Pluim Date: Thu, 22 Mar 2018 09:06:44 +0100 Subject: [PATCH] Make update_autogen work in git worktrees * admin/update_autogen: Make it work in a git worktree --- admin/update_autogen | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/admin/update_autogen b/admin/update_autogen index d2118674792..f4c2c39825c 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" +[ -d .git ] || git rev-parse --git-dir > /dev/null 2>&1 || die "Not in a git repository" usage () { -- 2.39.5