Skip to content

Commit

Permalink
Use pre-release version of c2rust 0.19
Browse files Browse the repository at this point in the history
  • Loading branch information
chrysn committed Sep 9, 2024
1 parent 34bc4ab commit b2b3b9c
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion riotbuild/Dockerfile
Original file line number Diff line number Diff line change
Expand Up @@ -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}

Expand Down

0 comments on commit b2b3b9c

Please sign in to comment.