Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-06 22:15:33 +01:00
Code Issues Projects Releases Packages Wiki Activity

Update web-platform-tests to revision 614fd870e47c9f4e76291e5af4e32b676c0acac0

Browse source
This commit is contained in:
WPT Sync Bot 2018-12-04 20:30:20 -05:00
parent 063bd7ac19
commit b49ffaa0f7
137 changed files with 4756 additions and 721 deletions
Download patch file Download diff file Expand all files Collapse all files

3
tests/wpt/web-platform-tests/tools/lint/lint.py
View file

@ -71,6 +71,9 @@ def all_filesystem_paths(repo_root, subdir=None):
for dirpath, dirnames, filenames in path_filter(walk(expanded_path)):
for filename, _ in filenames:
path = os.path.join(dirpath, filename)
if subdir:
path = os.path.join(subdir, path)
assert not os.path.isabs(path), path
yield path