There was an error while loading. Please reload this page.
make patchcheck
1 parent 4652d82 commit 61a82a5Copy full SHA for 61a82a5
Tools/scripts/patchcheck.py
@@ -98,7 +98,10 @@ def changed_files(base_branch=None):
98
cmd += ' --rev qparent'
99
with subprocess.Popen(cmd.split(), stdout=subprocess.PIPE) as st:
100
return [x.decode().rstrip() for x in st.stdout]
101
- elif os.path.isdir(os.path.join(SRCDIR, '.git')):
+ elif os.path.exists(os.path.join(SRCDIR, '.git')):
102
+ # We just use an existence check here as:
103
+ # directory = normal git checkout/clone
104
+ # file = git worktree directory
105
if base_branch:
106
cmd = 'git diff --name-status ' + base_branch
107
else:
0 commit comments