diff options
Diffstat (limited to 'tools/util.js')
| -rw-r--r-- | tools/util.js | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/util.js b/tools/util.js index 36f8dac14..de28b6679 100644 --- a/tools/util.js +++ b/tools/util.js @@ -15,7 +15,7 @@ export { delay } from "../test_util/std/async/delay.ts"; // [toolName] --version output const versions = { "dprint": "dprint 0.40.0", - "dlint": "dlint 0.47.0", + "dlint": "dlint 0.51.0", }; export const ROOT_PATH = dirname(dirname(fromFileUrl(import.meta.url))); @@ -138,7 +138,7 @@ export function getPrebuiltToolPath(toolName) { } const downloadUrl = - `https://raw.githubusercontent.com/denoland/deno_third_party/7f1a41fee1bfbffd56674269db8f1e19263cf751/prebuilt/${platformDirName}`; + `https://raw.githubusercontent.com/denoland/deno_third_party/69ffd968c0c435f5f9dbba713a92b4fb6a3e2301/prebuilt/${platformDirName}`; export async function downloadPrebuilt(toolName) { const spinner = wait("Downloading prebuilt tool: " + toolName).start(); |