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

Update web-platform-tests to revision 10168e9a5d44efbc6e7d416d1d454eb9c9f1396c

Browse source
This commit is contained in:
Josh Matthews 2018-01-31 09:13:41 -05:00
parent c88dc51d03
commit 0e1caebaf4
791 changed files with 23381 additions and 5501 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

@ -722,7 +722,8 @@ def changed_files(wpt_root):
def lint_paths(kwargs, wpt_root):
if kwargs.get("paths"):
paths = kwargs["paths"]
r = os.path.realpath(wpt_root)
paths = [os.path.relpath(os.path.realpath(x), r) for x in kwargs["paths"]]
elif kwargs["all"]:
paths = list(all_filesystem_paths(wpt_root))
else: