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

Check the "tests/wpt/web-platform-tests" folder before loading "tools.lint" module

Browse source
This commit is contained in:
askeing 2016-04-17 03:27:50 +09:00
parent 922840852a
commit 88c94f285e
1 changed files with 6 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

1
python/tidy/servo_tidy/tidy.py
View file

@ -601,6 +601,7 @@ def get_wpt_files(only_changed_files, progress):
def check_wpt_lint_errors(files): def check_wpt_lint_errors(files):
wpt_working_dir = os.path.abspath(os.path.join(".", "tests", "wpt", "web-platform-tests")) wpt_working_dir = os.path.abspath(os.path.join(".", "tests", "wpt", "web-platform-tests"))
if os.path.isdir(wpt_working_dir):
site.addsitedir(wpt_working_dir) site.addsitedir(wpt_working_dir)
from tools.lint import lint from tools.lint import lint
returncode = lint.lint(files) returncode = lint.lint(files)