Fix riscv toolchain executable names

lrettig · lrettig · commit d501daf2ef90 · 2024-08-12T19:57:35.000-07:00
diff --git a/patches/config.toml b/patches/config.toml
@@ -7,8 +7,8 @@ tools = ["cargo", "cargo-clippy", "clippy", "rustfmt"]
 configure-args = []
 
 [target.riscv32em-athena-zkvm-elf]
-cc = "riscv32-unknown-elf-gcc"
-cxx = "riscv32-unknown-elf-g++"
+cc = "riscv64-unknown-elf-gcc"
+cxx = "riscv64-unknown-elf-g++"
 
 [rust]
 lld = true
