diff options
author | natrixaeria <janng@gmx.de> | 2019-06-11 23:40:24 +0200 |
---|---|---|
committer | natrixaeria <janng@gmx.de> | 2019-06-11 23:40:24 +0200 |
commit | 286be2a2fe89927c1a7bb6855b3d001a70dd312d (patch) | |
tree | 49bb7265e49b75b6602db43c4c15dfb7f0513e52 /webhogg/wasm/build | |
parent | 0876527eafcd7c372873314cc9c7e93cba2991e2 (diff) |
Add workers
Diffstat (limited to 'webhogg/wasm/build')
-rwxr-xr-x | webhogg/wasm/build | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/webhogg/wasm/build b/webhogg/wasm/build index a0c4df1..e14f004 100755 --- a/webhogg/wasm/build +++ b/webhogg/wasm/build @@ -1,5 +1,7 @@ #!/bin/bash cargo build --target wasm32-unknown-unknown --release -wasm-bindgen target/wasm32-unknown-unknown/release/webhogg-wasm.wasm --out-dir bin/ --no-typescript --target no-modules --remove-producers-section --remove-name-section -wasm-opt -Oz bin/*.wasm -o bin/*.wasm +wasm-bindgen target/wasm32-unknown-unknown/release/webhogg_wasm.wasm --out-dir bin/ --no-typescript --target no-modules --remove-producers-section --remove-name-section +wasm-opt -Oz bin/webhogg_wasm_bg.wasm -o bin/webhogg-wasm.wasm +rm bin/webhogg_wasm_bg.wasm +mv bin/webhogg_wasm.js bin/webhogg-wasm.js |