Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-07-22 23:03:42 +01:00
Code Issues Projects Releases Packages Wiki Activity

Don't lint subdirectories of virtual manifest paths.

Browse source
This commit is contained in:
Josh Matthews 2018-12-13 16:19:06 -05:00 • committed by GitHub
parent 9ff7de6a44
commit 8d6fda6ca5
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
python/tidy/servo_tidy/tidy.py
View file

@ -489,7 +489,7 @@ def check_manifest_dirs(config_file, print_text=True):
p = parser.parse(lines)
paths = rec_parse(wpt_path("web-platform-tests"), p)
for idx, path in enumerate(paths):
if path.endswith("_mozilla") or path.endswith("_webgl"):
if '_mozilla' in path or '_webgl' in path:
continue
if not os.path.isdir(path):
yield(config_file, idx + 1, "Path in manifest was not found: {}".format(path))