diff options
| author | Kenta Moriuchi <moriken@kimamass.com> | 2023-01-26 20:26:42 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-26 16:56:42 +0530 |
| commit | 7b6339da6a22c361747d68945fe8aca3f78f013b (patch) | |
| tree | a2472b6e036f1dd711fe9a8eb44e439c015f344e /tools/lint.js | |
| parent | 87c2493855e73fb433b965040bb64cc51632c454 (diff) | |
fix(core): Add lint check for core (#17223)
The prefer-primordials lint was skipped for `core/*.js`.
Diffstat (limited to 'tools/lint.js')
| -rwxr-xr-x | tools/lint.js | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/lint.js b/tools/lint.js index caa761896..97c2447df 100755 --- a/tools/lint.js +++ b/tools/lint.js @@ -89,7 +89,8 @@ async function dlintPreferPrimordials() { const sourceFiles = await getSources(ROOT_PATH, [ "runtime/**/*.js", "ext/**/*.js", - "core/**/*.js", + "core/*.js", + ":!:core/*_test.js", ":!:core/examples/**", ]); |