diff options
Diffstat (limited to 'tools/util.js')
| -rw-r--r-- | tools/util.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/util.js b/tools/util.js index 92ab18a7f..36f8dac14 100644 --- a/tools/util.js +++ b/tools/util.js @@ -138,7 +138,7 @@ export function getPrebuiltToolPath(toolName) { } const downloadUrl = - `https://raw.githubusercontent.com/denoland/deno_third_party/master/prebuilt/${platformDirName}`; + `https://raw.githubusercontent.com/denoland/deno_third_party/7f1a41fee1bfbffd56674269db8f1e19263cf751/prebuilt/${platformDirName}`; export async function downloadPrebuilt(toolName) { const spinner = wait("Downloading prebuilt tool: " + toolName).start(); |