diff options
author | Ravi Shankar <wafflespeanut@gmail.com> | 2017-03-20 12:13:16 +0530 |
---|---|---|
committer | Ravi Shankar <wafflespeanut@gmail.com> | 2017-03-20 12:23:05 +0530 |
commit | 841a3abef6777682bc53075d203fb0216fd20d6b (patch) | |
tree | 1e3724b649a45568036ac6d43b42c115d5c0cbc8 /python/servo/lints | |
parent | 103e827948e4c3592ee93cbed8adf270588b559e (diff) | |
download | servo-841a3abef6777682bc53075d203fb0216fd20d6b.tar.gz servo-841a3abef6777682bc53075d203fb0216fd20d6b.zip |
Tidy: Prefer monkey patching sys.path over addsitedir (and some cleanup)
Diffstat (limited to 'python/servo/lints')
-rw-r--r-- | python/servo/lints/wpt_lint.py | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/python/servo/lints/wpt_lint.py b/python/servo/lints/wpt_lint.py index 2160e6d557d..75c4b72f226 100644 --- a/python/servo/lints/wpt_lint.py +++ b/python/servo/lints/wpt_lint.py @@ -8,7 +8,7 @@ # except according to those terms. import os -import site +import sys from servo_tidy.tidy import LintRunner, filter_file @@ -28,11 +28,13 @@ class Lint(LintRunner): def run(self): if self.stylo: return + wpt_working_dir = os.path.abspath(os.path.join(WPT_PATH, "web-platform-tests")) for suite in SUITES: files = self._get_wpt_files(suite) - site.addsitedir(wpt_working_dir) + 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_json=False, css_mode=False) if returncode: |