diff options
| author | Paul Rouget <me@paulrouget.com> | 2019-11-08 09:42:12 +0100 |
|---|---|---|
| committer | Paul Rouget <me@paulrouget.com> | 2019-11-21 09:56:39 +0100 |
| commit | b71774d8fe029a11ba95d13ea25692ecfe74dec6 (patch) | |
| tree | 5d6376f1c077421780833422e3de18404d6f65f8 /python/servo/lints | |
| parent | 5c92fd84cab4d4e214a8e16042812a38480817ba (diff) | |
| download | servo-b71774d8fe029a11ba95d13ea25692ecfe74dec6.tar.gz servo-b71774d8fe029a11ba95d13ea25692ecfe74dec6.zip | |
Run test-tidy on Windows
Diffstat (limited to 'python/servo/lints')
| -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 e2e44c729ae..a15b20bf6fb 100644 --- a/python/servo/lints/wpt_lint.py +++ b/python/servo/lints/wpt_lint.py @@ -28,7 +28,7 @@ class Lint(LintRunner): yield f[len(working_dir):] def run(self): - if self.stylo: + if self.stylo or self.no_wpt: return wpt_working_dir = os.path.abspath(os.path.join(WPT_PATH, "web-platform-tests")) |