Remove target from build

lrettig · lrettig · commit 0f23e438b04b · 2024-06-08T19:40:03.000-07:00
Add it back to config
diff --git a/build.sh b/build.sh
@@ -6,5 +6,5 @@ source config.sh
 
 # Will create component archives (dists) ./rust/build/dist
 cd rust
-CARGO_TARGET_RISCV32EM_ATHENA_ZKVM_ELF_RUSTFLAGS="-Cpasses=loweratomic" ./x build --target $TOOLCHAIN_HOST_TRIPLET,riscv32em-athena-zkvm-elf
-CARGO_TARGET_RISCV32EM_ATHENA_ZKVM_ELF_RUSTFLAGS="-Cpasses=loweratomic" ./x build --stage 2 --target $TOOLCHAIN_HOST_TRIPLET,riscv32em-athena-zkvm-elf
+CARGO_TARGET_RISCV32EM_ATHENA_ZKVM_ELF_RUSTFLAGS="-Cpasses=loweratomic" ./x build
+CARGO_TARGET_RISCV32EM_ATHENA_ZKVM_ELF_RUSTFLAGS="-Cpasses=loweratomic" ./x build --stage 2
diff --git a/patches/config.ci.toml b/patches/config.ci.toml
@@ -1,6 +1,7 @@
 change-id = 121754
 
 [build]
+target = ["riscv32em-athena-zkvm-elf"]
 extended = true
 tools = ["cargo", "cargo-clippy", "clippy", "rustfmt"]
 configure-args = []
diff --git a/patches/config.toml b/patches/config.toml
@@ -1,6 +1,7 @@
 change-id = 121754
 
 [build]
+target = ["riscv32em-athena-zkvm-elf"]
 extended = true
 tools = ["cargo", "cargo-clippy", "clippy", "rustfmt"]
 configure-args = []
