From 8d6fda6ca5cfb9e3f9f95f91fc05e301ab14cee8 Mon Sep 17 00:00:00 2001
From: Josh Matthews <josh@joshmatthews.net>
Date: Thu, 13 Dec 2018 16:19:06 -0500
Subject: [PATCH] Don't lint subdirectories of virtual manifest paths.

---
 python/tidy/servo_tidy/tidy.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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))