diff options
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",`, + ), ); } |