aboutsummaryrefslogtreecommitdiffstats
path: root/python/servo/lints
diff options
context:
space:
mode:
authorRavi Shankar <wafflespeanut@gmail.com>2017-03-20 12:13:16 +0530
committerRavi Shankar <wafflespeanut@gmail.com>2017-03-20 12:23:05 +0530
commit841a3abef6777682bc53075d203fb0216fd20d6b (patch)
tree1e3724b649a45568036ac6d43b42c115d5c0cbc8 /python/servo/lints
parent103e827948e4c3592ee93cbed8adf270588b559e (diff)
downloadservo-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.py6
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: