Merge pull request #252 from chrysn-pull-requests/c2rust-0.19

Use c2rust 0.19
RIOT-OS · Sep 11, 2024 · 7e1b9bc · 7e1b9bc
2 parents 34bc4ab + f0e43ab
commit 7e1b9bc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/riotbuild/Dockerfile b/riotbuild/Dockerfile
@@ -359,7 +359,7 @@ RUN \
 
 RUN \
     echo 'Installing C2Rust' >&2 && \
-    CARGO_HOME=/opt/rustup/.cargo cargo install --no-track --locked c2rust --git https://github.com/chrysn-pull-requests/c2rust --branch riscv-vector-types && \
+    CARGO_HOME=/opt/rustup/.cargo cargo install --no-track --locked c2rust --git https://github.com/immunant/c2rust --tag v0.19.0 && \
     echo 'Cleaning up root-owned crates.io cache' >&2 && \
     rm -rf /opt/rustup/.cargo/{git,registry,.package-cache}