cleanup CI, fix unrecognized --strip

This commit is contained in:
Anton-4 2023-09-27 11:36:43 +02:00 committed by Brendan Hansknecht
parent 82a6c4e519
commit 90865c6b51
No known key found for this signature in database
GPG key ID: 0EA784685083E75B
4 changed files with 7 additions and 11 deletions

View file

@ -295,7 +295,7 @@ pub fn build_zig_host_wasm32(
"wasm32-wasi",
// "-femit-llvm-ir=/home/folkertdev/roc/roc/crates/cli_testing_examples/benchmarks/platform/host.ll",
"-fPIC",
"--strip",
"-fstrip",
]);
if matches!(opt_level, OptLevel::Optimize) {
@ -1212,7 +1212,7 @@ fn link_wasm32(
&format!("glue::{}", find_zig_glue_path().to_str().unwrap()),
"--deps",
"glue",
"--strip",
"-fstrip",
"-O",
"ReleaseSmall",
// useful for debugging