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

Add missing path to the path length error.

Browse source 
Partial cherry-pick of <https://github.com/w3c/wpt-tools/pull/136>.
This commit is contained in:
Ms2ger 2016-10-31 14:31:54 +01:00
parent 9a1f976142
commit 645732c650
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -42,7 +42,7 @@ def all_git_paths(repo_root):
def check_path_length(repo_root, path): def check_path_length(repo_root, path):
if len(path) + 1 > 150: if len(path) + 1 > 150:
return [("PATH LENGTH", "/%s longer than maximum path length (%d > 150)" % (path, len(path) + 1), None)] return [("PATH LENGTH", "/%s longer than maximum path length (%d > 150)" % (path, len(path) + 1), path, None)]
return [] return []