diff --git a/riotbuild/Dockerfile b/riotbuild/Dockerfile index 8da6b267..82c9795b 100644 --- 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 --ref b9339f42a51779da89aef85b2ef96982789b51e1 && \ echo 'Cleaning up root-owned crates.io cache' >&2 && \ rm -rf /opt/rustup/.cargo/{git,registry,.package-cache}