diff --git a/scripts/maint/practracker/util.py b/scripts/maint/practracker/util.py index c38e4c8dd0..db02a983f8 100644 --- a/scripts/maint/practracker/util.py +++ b/scripts/maint/practracker/util.py @@ -33,11 +33,14 @@ 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 + # Avoid editor temporary files + bname = os.path.basename(filename) + if bname.startswith("."): + continue + if bname.startswith("#"): + continue full_path = os.path.join(root,filename)