diff options
Diffstat (limited to 'make-web.sh')
-rwxr-xr-x | make-web.sh | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/make-web.sh b/make-web.sh index 4237e13..4e86b77 100755 --- a/make-web.sh +++ b/make-web.sh @@ -2,10 +2,10 @@ DIR="$(dirname "$0")" -if cargo build --target=wasm32-unknown-emscripten; then - cp $DIR/target/wasm32-unknown-emscripten/debug/rusty_microphone.js "$DIR/web/" - cp $DIR/target/wasm32-unknown-emscripten/debug/deps/*.wasm "$DIR/web/" - cp $DIR/target/wasm32-unknown-emscripten/debug/deps/*.wast "$DIR/web/" - cp $DIR/target/wasm32-unknown-emscripten/debug/deps/*.map "$DIR/web/" - cp $DIR/target/wasm32-unknown-emscripten/debug/deps/*.js "$DIR/web/" +if cargo build --target=wasm32-unknown-emscripten --release; then + cp $DIR/target/wasm32-unknown-emscripten/release/rusty_microphone.js "$DIR/web/" + cp $DIR/target/wasm32-unknown-emscripten/release/deps/*.wasm "$DIR/web/" + cp $DIR/target/wasm32-unknown-emscripten/release/deps/*.wast "$DIR/web/" + cp $DIR/target/wasm32-unknown-emscripten/release/deps/*.map "$DIR/web/" + cp $DIR/target/wasm32-unknown-emscripten/release/deps/*.js "$DIR/web/" fi |