diff options
| author | teor <teor@torproject.org> | 2019-10-28 13:09:58 +1000 |
|---|---|---|
| committer | teor <teor@torproject.org> | 2019-10-28 13:09:58 +1000 |
| commit | 18e09913bf23253645404612726983c5c43e19cc (patch) | |
| tree | 4a99518e8e259c9eef599994648e1d8509341e18 /scripts/maint/practracker | |
| parent | 68befa3b84080fcbf4face0fa39afedae9f3223d (diff) | |
| download | tor-18e09913bf23253645404612726983c5c43e19cc.tar.gz tor-18e09913bf23253645404612726983c5c43e19cc.zip | |
practracker: Don't read editor temp files
(Or any dot files.)
Obviously correct changes to already-reviewed code.
Diffstat (limited to 'scripts/maint/practracker')
| -rw-r--r-- | scripts/maint/practracker/util.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/maint/practracker/util.py b/scripts/maint/practracker/util.py index df629110c2..c38e4c8dd0 100644 --- a/scripts/maint/practracker/util.py +++ b/scripts/maint/practracker/util.py @@ -33,6 +33,9 @@ def get_tor_c_files(tor_topdir, include_dirs=None): # We only care about .c and .h files if not (filename.endswith(".c") or filename.endswith(".h")): continue + # Avoid editor temporary files + if filename.startswith("."): + continue if filename in EXCLUDE_FILES: continue |