diff options
Diffstat (limited to 'tools/wgpu_sync.js')
| -rwxr-xr-x | tools/wgpu_sync.js | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/tools/wgpu_sync.js b/tools/wgpu_sync.js index 5844c68a2..4939983c2 100755 --- a/tools/wgpu_sync.js +++ b/tools/wgpu_sync.js @@ -77,8 +77,7 @@ async function patchCargo() { (data) => data .replace(/^wgpu-core = .*/m, `wgpu-core = "${V_WGPU}"`) - .replace(/^wgpu-types = .*/m, `wgpu-types = "${V_WGPU}"`) - .replace(/^wgpu-hal = .*/m, `wgpu-hal = "${V_WGPU}"`), + .replace(/^wgpu-types = .*/m, `wgpu-types = "${V_WGPU}"`), ); } |