diff options
author | Stefan Metzmacher <metze@samba.org> | 2020-02-27 23:58:42 +0100 |
---|---|---|
committer | Stefan Metzmacher <metze@samba.org> | 2020-04-02 06:01:38 +0000 |
commit | f9374d0a4ecc11acc46884feec28d138accc6dab (patch) | |
tree | 8e5844e1bc56120505e8fe2bd3fd3b7861fd4e13 /script | |
parent | 579c27fc4aafe5cbed6f4431f9a6230696c21611 (diff) | |
download | samba-f9374d0a4ecc11acc46884feec28d138accc6dab.tar.gz |
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 <metze@samba.org>
Reviewed-by: Andrew Bartlett <abartlet@samba.org>
Diffstat (limited to 'script')
-rwxr-xr-x | script/autobuild.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/script/autobuild.py b/script/autobuild.py index 3889d6ed620..f90c8bd9fd3 100755 --- 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 |