From 6c4b5ef1cb3bbb88b8f825a7efd9eab1258f0363 Mon Sep 17 00:00:00 2001 From: chrysn Date: Fri, 13 May 2022 20:21:17 +0200 Subject: [PATCH] c2rust: Update version This unblocks a stage of [#18056]. [#18056]: https://github.com/RIOT-OS/RIOT/pull/18056 --- riotbuild/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/riotbuild/Dockerfile b/riotbuild/Dockerfile index adcdbb3b..419d28f7 100644 --- a/riotbuild/Dockerfile +++ b/riotbuild/Dockerfile @@ -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}