diff options
author | Leo Kettmeir <crowlkats@toaxl.com> | 2023-02-05 17:49:20 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-02-05 17:49:20 +0100 |
commit | 84a96110cd8e74228fbab666e7af49edb7e24cc9 (patch) | |
tree | 8e1995e6ddb3836923f50e915294664aa27b7511 /tools/wgpu_sync.js | |
parent | a09296322e1fd4451e903515a497d9e02e14ace6 (diff) |
refactor: rename `deno` specifiers to `internal` (#17655)
Diffstat (limited to 'tools/wgpu_sync.js')
-rwxr-xr-x | tools/wgpu_sync.js | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/tools/wgpu_sync.js b/tools/wgpu_sync.js index 6c6130d39..6edc4c92f 100755 --- a/tools/wgpu_sync.js +++ b/tools/wgpu_sync.js @@ -85,7 +85,10 @@ async function patchSrcLib() { await patchFile( join(TARGET_DIR, "src", "lib.rs"), (data) => - data.replace(`prefix "deno:deno_webgpu",`, `prefix "deno:ext/webgpu",`), + data.replace( + `prefix "internal:deno_webgpu",`, + `prefix "internal:ext/webgpu",`, + ), ); } |