Merge #210

210: C2Rust updates / fixes r=kaspar030 a=chrysn This branch is used for investigating failures encountered after merging #189, in which C2Rust errs internally. Upstream might already have solved it. This builds on #209. Co-authored-by: chrysn <[email protected]>
RIOT-OS · Sep 27, 2022 · b5d0766 · b5d0766
2 parents 96074fc + 6769976
commit b5d0766
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/riotbuild/Dockerfile b/riotbuild/Dockerfile
@@ -344,7 +344,7 @@ RUN \
 
 RUN \
     echo 'Installing C2Rust' >&2 && \
-    CARGO_HOME=/opt/rustup/.cargo cargo install --no-track --locked c2rust --git https://github.com/immunant/c2rust --rev ed56c794230bbf5a0e417941e4778316d31ab114 && \
+    CARGO_HOME=/opt/rustup/.cargo cargo install --no-track --locked c2rust --git https://github.com/chrysn-pull-requests/c2rust --branch riscv-vector-types && \
     echo 'Cleaning up root-owned crates.io cache' >&2 && \
     rm -rf /opt/rustup/.cargo/{git,registry,.package-cache}