diff options
| author | Anthony Ramine <n.oxyde@gmail.com> | 2018-08-25 00:46:42 +0200 |
|---|---|---|
| committer | Anthony Ramine <n.oxyde@gmail.com> | 2018-08-25 03:43:32 +0200 |
| commit | 4852f7d6160a1a3af3bf834d16e7ff1c29dfc0cc (patch) | |
| tree | d7a6e07778d7d5d5574890976c7d2172b2416e6e /python/tidy | |
| parent | d827370804c34d8422c08db0e2941c62cb237a52 (diff) | |
| download | servo-4852f7d6160a1a3af3bf834d16e7ff1c29dfc0cc.tar.gz servo-4852f7d6160a1a3af3bf834d16e7ff1c29dfc0cc.zip | |
Move Khronos WebGL tests to /_webgl/
Diffstat (limited to 'python/tidy')
| -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 d61f414dd3d..192e784efd6 100644 --- a/python/tidy/servo_tidy/tidy.py +++ b/python/tidy/servo_tidy/tidy.py @@ -481,7 +481,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"): + if path.endswith("_mozilla") or path.endswith("_webgl"): continue if not os.path.isdir(path): yield(config_file, idx + 1, "Path in manifest was not found: {}".format(path)) |