diff options
author | Dennis Kobert <d-kobert@web.de> | 2019-06-12 21:51:39 +0200 |
---|---|---|
committer | Dennis Kobert <d-kobert@web.de> | 2019-06-12 21:51:39 +0200 |
commit | 9e9c1c822a64c0a65033b7eed07ea661a385cecc (patch) | |
tree | ee699d4e93bb4204f5f4e04cd14f6d77365b81b4 /webhogg/wasm/build | |
parent | 304437b834e8c87687f68333ae67a13ee1377a73 (diff) | |
parent | 3a3d0fc3d4733f8908e23a03f860d76340479ec4 (diff) |
Merge remote-tracking branch 'origin/master'
Diffstat (limited to 'webhogg/wasm/build')
-rwxr-xr-x | webhogg/wasm/build | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/webhogg/wasm/build b/webhogg/wasm/build new file mode 100755 index 0000000..e14f004 --- /dev/null +++ b/webhogg/wasm/build @@ -0,0 +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/webhogg_wasm_bg.wasm -o bin/webhogg-wasm.wasm +rm bin/webhogg_wasm_bg.wasm +mv bin/webhogg_wasm.js bin/webhogg-wasm.js |