diff options
| author | Nick Mathewson <nickm@torproject.org> | 2018-06-22 13:52:30 -0400 |
|---|---|---|
| committer | Nick Mathewson <nickm@torproject.org> | 2018-06-22 13:52:30 -0400 |
| commit | 405fa42e8a835de394503231a85258972a65bd89 (patch) | |
| tree | b3552b189b249ef1081d1c6060df7e9e48c663ee /scripts | |
| parent | 4b32446a4c52f9ac91cf230b90ee5b72331793be (diff) | |
| download | tor-405fa42e8a835de394503231a85258972a65bd89.tar.gz tor-405fa42e8a835de394503231a85258972a65bd89.zip | |
Another windows include
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/maint/checkIncludes.py | 15 |
1 files changed, 12 insertions, 3 deletions
diff --git a/scripts/maint/checkIncludes.py b/scripts/maint/checkIncludes.py index 3c611675e4..cb3354abf3 100755 --- a/scripts/maint/checkIncludes.py +++ b/scripts/maint/checkIncludes.py @@ -58,12 +58,21 @@ def load_include_rules(fname): result.addPattern(line) return result +MDD = "--mdd" in sys.argv[1:] + +if MDD: + print( + for dirpath, dirnames, fnames in os.walk("src"): if ".may_include" in fnames: rules = load_include_rules(os.path.join(dirpath, RULES_FNAME)) - for fname in fnames: - if fname_is_c(fname): - rules.applyToFile(os.path.join(dirpath,fname)) + if MDD: + dp = dirpath.replace("src/","") + rules.dump_mdd(dp) + else: + for fname in fnames: + if fname_is_c(fname): + rules.applyToFile(os.path.join(dirpath,fname)) if trouble: err( |