Skip to content

Commit

Permalink
c2rust: Update version
Browse files Browse the repository at this point in the history
This unblocks a stage of [#18056].

[#18056]: RIOT-OS/RIOT#18056
  • Loading branch information
chrysn committed Jun 14, 2022
1 parent 221b60b commit 6c4b5ef
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 @@ -314,7 +314,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 for-riot-20220513 && \
CARGO_HOME=/opt/rustup/.cargo cargo install --no-track --locked c2rust --git https://github.com/immunant/c2rust --rev ed56c794230bbf5a0e417941e4778316d31ab114 && \
echo 'Cleaning up root-owned crates.io cache' >&2 && \
rm -rf /opt/rustup/.cargo/{git,registry,.package-cache}

Expand Down

0 comments on commit 6c4b5ef

Please sign in to comment.