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

Keep WPT import path around while running lints.

Browse source
This commit is contained in:
Josh Matthews 2022-11-09 22:14:38 -05:00
parent df68c4e5d1
commit b37688d0db
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
python/servo/lints/wpt_lint.py
View file

@ -38,8 +38,8 @@ class Lint(LintRunner):
continue
sys.path.insert(0, wpt_working_dir)
from tools.lint import lint
sys.path.remove(wpt_working_dir)
file_dir = os.path.abspath(os.path.join(WPT_PATH, suite))
returncode = lint.lint(file_dir, files, output_format="json")
sys.path.remove(wpt_working_dir)
if returncode:
yield ("WPT Lint Tool", "", "lint error(s) in Web Platform Tests: exit status %s" % returncode)