From b37688d0dbc43e8c7cbc6675f7d9e6d779892822 Mon Sep 17 00:00:00 2001 From: Josh Matthews Date: Wed, 9 Nov 2022 22:14:38 -0500 Subject: [PATCH] Keep WPT import path around while running lints. --- python/servo/lints/wpt_lint.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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)