This commit is contained in:
parent
786eb33a43
commit
e0c3c74b0c
@ -83,6 +83,9 @@ rm assets/plugins/*
|
|||||||
%build
|
%build
|
||||||
# First rebuilt plugins we just deleted
|
# First rebuilt plugins we just deleted
|
||||||
# Note: RUSTFLAGS break linking with WASM-files, so we don't use the cargo_build-macro here
|
# Note: RUSTFLAGS break linking with WASM-files, so we don't use the cargo_build-macro here
|
||||||
|
pushd default-plugins/compact-bar
|
||||||
|
cargo --offline build --release --target=wasm32-wasi
|
||||||
|
popd
|
||||||
pushd default-plugins/status-bar
|
pushd default-plugins/status-bar
|
||||||
cargo --offline build --release --target=wasm32-wasi
|
cargo --offline build --release --target=wasm32-wasi
|
||||||
popd
|
popd
|
||||||
@ -92,6 +95,7 @@ popd
|
|||||||
pushd default-plugins/strider
|
pushd default-plugins/strider
|
||||||
cargo --offline build --release --target=wasm32-wasi
|
cargo --offline build --release --target=wasm32-wasi
|
||||||
popd
|
popd
|
||||||
|
|
||||||
# Move the results to the place they are expected
|
# Move the results to the place they are expected
|
||||||
mv target/wasm32-wasi/release/*.wasm assets/plugins/
|
mv target/wasm32-wasi/release/*.wasm assets/plugins/
|
||||||
|
|
||||||
|
Loading…
x
Reference in New Issue
Block a user