diff options
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/lint.js | 1 | ||||
-rw-r--r-- | tools/util.js | 4 |
2 files changed, 3 insertions, 2 deletions
diff --git a/tools/lint.js b/tools/lint.js index ec8e147a5..aeab48c1a 100755 --- a/tools/lint.js +++ b/tools/lint.js @@ -66,6 +66,7 @@ async function dlint() { ":!:cli/tsc/*typescript.js", ":!:cli/tsc/compiler.d.ts", ":!:tests/wpt/suite/**", + ":!:tests/wpt/runner/**", ]); if (!sourceFiles.length) { diff --git a/tools/util.js b/tools/util.js index f9cc2d911..75ee1b527 100644 --- a/tools/util.js +++ b/tools/util.js @@ -14,7 +14,7 @@ export { delay } from "../tests/util/std/async/delay.ts"; // [toolName] --version output const versions = { - "dlint": "dlint 0.52.2", + "dlint": "dlint 0.60.0", }; const compressed = new Set(["ld64.lld", "rcodesign"]); @@ -175,7 +175,7 @@ export function getPrebuiltToolPath(toolName) { return join(PREBUILT_TOOL_DIR, toolName + executableSuffix); } -const commitId = "5f2097d8247c7fbe30ba227f894d70ae5c1524c7"; +const commitId = "b8aac22e0cd7c1c6557a56a813fe0c25486fafee"; const downloadUrl = `https://raw.githubusercontent.com/denoland/deno_third_party/${commitId}/prebuilt/${platformDirName}`; |