diff options
Diffstat (limited to 'tools/lint.js')
-rwxr-xr-x | tools/lint.js | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/tools/lint.js b/tools/lint.js index 735da872e..ed2a04eee 100755 --- a/tools/lint.js +++ b/tools/lint.js @@ -96,13 +96,11 @@ async function dlintPreferPrimordials() { const execPath = await getPrebuilt("dlint"); const sourceFiles = await getSources(ROOT_PATH, [ "runtime/**/*.js", + "runtime/**/*.ts", "ext/**/*.js", + "ext/**/*.ts", + ":!:ext/**/*.d.ts", "ext/node/polyfills/*.mjs", - "ext/node/polyfills/*.ts", - ":!:ext/node/polyfills/*.d.ts", - "core/*.js", - ":!:core/*_test.js", - ":!:core/examples/**", ]); if (!sourceFiles.length) { |