diff options
| author | Luca Casonato <lucacasonato@yahoo.com> | 2021-01-05 12:07:27 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-01-05 12:07:27 +0100 |
| commit | a3099798c881ac1be7108c0255e67e182c7080da (patch) | |
| tree | 8cbfc988a7a51e93dfaba4120b8566445015052f /tools/lint.js | |
| parent | cbc2108525f3a01f4a944104457939b741c9898b (diff) | |
tests: add web platform test runner (#8990)
Co-authored-by: Kitson Kelly <me@kitsonkelly.com>
Diffstat (limited to 'tools/lint.js')
| -rwxr-xr-x | tools/lint.js | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/lint.js b/tools/lint.js index 18de2aef3..3f30a7915 100755 --- a/tools/lint.js +++ b/tools/lint.js @@ -27,6 +27,7 @@ async function dlint() { ":!:cli/tests/lint/**", ":!:cli/tests/tsc/**", ":!:cli/tsc/*typescript.js", + ":!:test_util/wpt/**", ]); if (!sourceFiles.length) { |