Run rectify_include_paths.py

2024-12-06 19:41:15 +01:00 · 2018-06-20 09:35:05 -04:00
parent 257b280776
commit 0dab29ce10
410 changed files with 3487 additions and 3488 deletions
@@ -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"):