diff options
author | Leo Kettmeir <crowlkats@toaxl.com> | 2023-02-07 22:09:50 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-02-07 21:09:50 +0000 |
commit | 49af1ab18da02f09e65506c873526c40d005c4ed (patch) | |
tree | 0d8f6028e98907096019500a7e1c717408eeb4e2 /tools/wgpu_sync.js | |
parent | b4aa1530970f7b9cc4e6f2f27e077852c4e178d3 (diff) |
refactor: remove prefix from include_js_files & use extension name (#17683)
Diffstat (limited to 'tools/wgpu_sync.js')
-rwxr-xr-x | tools/wgpu_sync.js | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/wgpu_sync.js b/tools/wgpu_sync.js index 4d14f43cf..4c374e574 100755 --- a/tools/wgpu_sync.js +++ b/tools/wgpu_sync.js @@ -87,7 +87,7 @@ async function patchSrcLib() { (data) => data.replace( `prefix "internal:deno_webgpu",`, - `prefix "internal:ext/webgpu",`, + `prefix "internal:deno_webgpu",`, ), ); } @@ -98,7 +98,7 @@ async function patchSurface() { (data) => data.replace( `prefix "internal:deno_webgpu",`, - `prefix "internal:ext/webgpu",`, + `prefix "internal:deno_webgpu",`, ), ); } |