Loading testing/lint_xml.py +2 −0 Original line number Diff line number Diff line Loading @@ -31,6 +31,8 @@ def lint(file : Path): if __name__ == "__main__": root = Path("./") print ("Skipping pre-R18 files") root = root / "33128" / "r18" files = list(root.rglob("*.xml")) + list(root.rglob("*.xsd")) files_with_errors = 0 Loading Loading
testing/lint_xml.py +2 −0 Original line number Diff line number Diff line Loading @@ -31,6 +31,8 @@ def lint(file : Path): if __name__ == "__main__": root = Path("./") print ("Skipping pre-R18 files") root = root / "33128" / "r18" files = list(root.rglob("*.xml")) + list(root.rglob("*.xsd")) files_with_errors = 0 Loading