diff options
| author | Josh Matthews <josh@joshmatthews.net> | 2018-12-13 16:19:06 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-12-13 16:19:06 -0500 |
| commit | 8d6fda6ca5cfb9e3f9f95f91fc05e301ab14cee8 (patch) | |
| tree | ba71844faef9c58b947bb82a1d9bcbfc95debe14 /python/tidy/servo_tidy/tidy.py | |
| parent | 9ff7de6a449d465936508c718b08b430af8921fa (diff) | |
| download | servo-8d6fda6ca5cfb9e3f9f95f91fc05e301ab14cee8.tar.gz servo-8d6fda6ca5cfb9e3f9f95f91fc05e301ab14cee8.zip | |
Don't lint subdirectories of virtual manifest paths.
Diffstat (limited to 'python/tidy/servo_tidy/tidy.py')
| -rw-r--r-- | python/tidy/servo_tidy/tidy.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/python/tidy/servo_tidy/tidy.py b/python/tidy/servo_tidy/tidy.py index 446db50feea..deb86e289c2 100644 --- a/python/tidy/servo_tidy/tidy.py +++ b/python/tidy/servo_tidy/tidy.py @@ -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)) |