Formatting
publish / publish (push) Successful in 11m55s

This commit is contained in:
khodowany
2026-09-14 23:54:30 -05:00
parent b9d30fb975
commit 097cb61d2d
33 changed files with 950 additions and 302 deletions
+1 -1
View File
@@ -11,7 +11,7 @@ def header_roots(config):
for driver in config["query_drivers"]:
for language in ("c", "c++"):
result = subprocess.run([driver, "-E", "-v", "-x", language, "-"], input="",
stdout=subprocess.PIPE, stderr=subprocess.PIPE, text=True, check=True)
stdout=subprocess.PIPE, stderr=subprocess.PIPE, text=True, check=True)
listing = False
for line in result.stderr.splitlines():
if line == "#include <...> search starts here:":