From 500fbcb5b80dd9b68668097fc013c9f8ba565706 Mon Sep 17 00:00:00 2001 From: Timothy Flynn Date: Mon, 14 Apr 2025 14:58:23 -0400 Subject: [PATCH] Meta: Do not lint IDL files imported from WPT --- Meta/check-idl-files.py | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) diff --git a/Meta/check-idl-files.py b/Meta/check-idl-files.py index 7b0cfde9f91..8e942afa0d6 100755 --- a/Meta/check-idl-files.py +++ b/Meta/check-idl-files.py @@ -22,13 +22,22 @@ args = parser.parse_args() SINGLE_PAGE_HTML_SPEC_LINK = re.compile('//.*https://html\\.spec\\.whatwg\\.org/#') +def should_check_file(filename): + if not filename.endswith(".idl"): + return False + if filename.startswith('Tests/LibWeb/'): + return False + return True + + def find_files_here_or_argv(): if args.filenames: raw_list = args.filenames else: process = subprocess.run(["git", "ls-files"], check=True, capture_output=True) raw_list = process.stdout.decode().strip("\n").split("\n") - return filter(lambda filename: filename.endswith(".idl"), raw_list) + + return filter(should_check_file, raw_list) def run():