From 6c1791a2f10ad0559ea854d36e6c936e5756f087 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 d211867479..f4c2c39825 100755 --- a/admin/update_autogen +++ b/admin/update_autogen @@ -47,7 +47,7 @@ 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.16.1.72.g5be1f00a9