diff options
| author | Nick Mathewson <nickm@torproject.org> | 2018-06-20 09:35:05 -0400 |
|---|---|---|
| committer | Nick Mathewson <nickm@torproject.org> | 2018-06-20 09:35:05 -0400 |
| commit | 0dab29ce1069c2ebec22a75669aa8242fdc15882 (patch) | |
| tree | c4db0ff4bef4870ac94c1d38135e4c0bf94d47d9 /scripts | |
| parent | 257b28077676f6d8a3c0d2beef37a9414c747de9 (diff) | |
| download | tor-0dab29ce1069c2ebec22a75669aa8242fdc15882.tar.gz tor-0dab29ce1069c2ebec22a75669aa8242fdc15882.zip | |
Run rectify_include_paths.py
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/maint/rectify_include_paths.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/maint/rectify_include_paths.py b/scripts/maint/rectify_include_paths.py index dc91634455..401fadae6d 100755 --- a/scripts/maint/rectify_include_paths.py +++ b/scripts/maint/rectify_include_paths.py @@ -46,7 +46,7 @@ def fix_includes(inp, out, mapping): incs = get_include_map() for dirpath,dirnames,fnames in os.walk("src"): - exclude(["ext", "trunnel"], dirnames) + exclude(["trunnel"], dirnames) for fname in fnames: if fname.endswith(".c") or fname.endswith(".h"): |