diff options
Diffstat (limited to 'tools/wgpu_sync.js')
-rwxr-xr-x | tools/wgpu_sync.js | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/tools/wgpu_sync.js b/tools/wgpu_sync.js index 6edc4c92f..4d14f43cf 100755 --- a/tools/wgpu_sync.js +++ b/tools/wgpu_sync.js @@ -92,11 +92,23 @@ async function patchSrcLib() { ); } +async function patchSurface() { + await patchFile( + join(TARGET_DIR, "src", "surface.rs"), + (data) => + data.replace( + `prefix "internal:deno_webgpu",`, + `prefix "internal:ext/webgpu",`, + ), + ); +} + async function main() { await clearTargetDir(); await checkoutUpstream(); await patchCargo(); await patchSrcLib(); + await patchSurface(); await bash(join(ROOT_PATH, "tools", "format.js")); } |