diff options
| -rw-r--r-- | usr/src/tools/scripts/git-pbchk.py | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/usr/src/tools/scripts/git-pbchk.py b/usr/src/tools/scripts/git-pbchk.py index 9420812a21..f271e28dde 100644 --- a/usr/src/tools/scripts/git-pbchk.py +++ b/usr/src/tools/scripts/git-pbchk.py @@ -209,7 +209,7 @@ def gen_files(root, parent, paths, exclude): # invocations of git(). continue empty = not res.readline() - if (os.path.exists(f) and not empty and select(f) and not exclude(f)): + if (os.path.isfile(f) and not empty and select(f) and not exclude(f)): yield f return ret @@ -297,7 +297,7 @@ def manlint(root, parent, flist, output): fh = open(f, 'r') ret |= ManLint.manlint(fh, output=output, picky=True) ret |= SpellCheck.spellcheck(fh, output=output) - fh.close() + fh.close() return ret def keywords(root, parent, flist, output): @@ -341,7 +341,7 @@ def nits(root, parent, paths): hdrchk, jstyle, keywords, - manlint, + manlint, mapfilechk] run_checks(root, parent, cmds, paths) @@ -353,7 +353,7 @@ def pbchk(root, parent, paths): hdrchk, jstyle, keywords, - manlint, + manlint, mapfilechk] run_checks(root, parent, cmds) |