diff options
Diffstat (limited to 'scripts/maint/rectify_include_paths.py')
| -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"): |