We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
make patchcheck
1 parent c8869af commit ee10fb9Copy full SHA for ee10fb9
Tools/scripts/patchcheck.py
@@ -105,7 +105,10 @@ def changed_files(base_branch=None):
105
return [x.decode().rstrip() for x in st.stdout]
106
finally:
107
st.stdout.close()
108
- elif os.path.isdir(os.path.join(SRCDIR, '.git')):
+ elif os.path.exists(os.path.join(SRCDIR, '.git')):
109
+ # We just use an existence check here as:
110
+ # directory = normal git checkout/clone
111
+ # file = git worktree directory
112
if base_branch:
113
cmd = 'git diff --name-status ' + base_branch
114
else:
0 commit comments