script/autobuild.py: add support git worktree

.git is not always a directory, with 'git worktree' it's a file. Signed-off-by: Stefan Metzmacher <[email protected]> Reviewed-by: Andrew Bartlett <[email protected]>
httpstorm · Apr 2, 2020 · f9374d0 · f9374d0
1 parent 579c27f
commit f9374d0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/script/autobuild.py b/script/autobuild.py
@@ -37,7 +37,7 @@ def find_git_root():
     '''get to the top of the git repo'''
     p = os.getcwd()
     while p != '/':
-        if os.path.isdir(os.path.join(p, ".git")):
+        if os.path.exists(os.path.join(p, ".git")):
             return p
         p = os.path.abspath(os.path.join(p, '..'))
     return None