diff options
| author | Josh Matthews <josh@joshmatthews.net> | 2022-11-09 22:14:38 -0500 |
|---|---|---|
| committer | Josh Matthews <josh@joshmatthews.net> | 2022-11-09 22:14:38 -0500 |
| commit | b37688d0dbc43e8c7cbc6675f7d9e6d779892822 (patch) | |
| tree | 881055e6686ccd1bc791609a47f81d2caa09f8dd /python/servo/lints/wpt_lint.py | |
| parent | df68c4e5d155bdca6f787268bb266fd7979347f0 (diff) | |
| download | servo-b37688d0dbc43e8c7cbc6675f7d9e6d779892822.tar.gz servo-b37688d0dbc43e8c7cbc6675f7d9e6d779892822.zip | |
Keep WPT import path around while running lints.
Diffstat (limited to 'python/servo/lints/wpt_lint.py')
| -rw-r--r-- | python/servo/lints/wpt_lint.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/python/servo/lints/wpt_lint.py b/python/servo/lints/wpt_lint.py index de9327bb16c..ada03b65a99 100644 --- a/python/servo/lints/wpt_lint.py +++ b/python/servo/lints/wpt_lint.py @@ -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) |