diff options
Diffstat (limited to 'Tools')
| -rwxr-xr-x | Tools/scripts/reindent.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Tools/scripts/reindent.py b/Tools/scripts/reindent.py index 9a55198..8557b5d 100755 --- a/Tools/scripts/reindent.py +++ b/Tools/scripts/reindent.py @@ -99,7 +99,8 @@ def check(file): for name in names: fullname = os.path.join(file, name) if ((recurse and os.path.isdir(fullname) and - not os.path.islink(fullname)) + not os.path.islink(fullname) and + not os.path.split(fullname)[1].startswith(".")) or name.lower().endswith(".py")): check(fullname) return |