diff options
author | Maayan Hanin <maayan.asa.hanin@gmail.com> | 2020-08-04 00:39:48 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-08-03 23:39:48 +0200 |
commit | 5fc5e7b54a9fba421dfc473016625a4f592403ed (patch) | |
tree | e66bbbdaa30b34b7cef8072ded8ea3f0575c47f0 /tools/lint.py | |
parent | d615ebefe2e306f2877afb40dc603f71263407d6 (diff) |
fix(cli): add support for non-UTF8 source files (#6789)
Fixes: #5542
Diffstat (limited to 'tools/lint.py')
-rwxr-xr-x | tools/lint.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/lint.py b/tools/lint.py index fc9a73c90..5891ba9f9 100755 --- a/tools/lint.py +++ b/tools/lint.py @@ -69,6 +69,7 @@ def eslint(): ":!:cli/compilers/wasm_wrap.js", ":!:cli/tests/error_syntax.js", ":!:cli/tests/lint/**", + ":!:cli/tests/encoding/**", ":!:cli/dts/**", ":!:cli/tsc/*typescript.js", ]) |