diff --git a/Dockerfile b/Dockerfile index b33849f88d52b80023646acc2acea732a5c49e79..7a9eee3c0c8acac0b962a7a84fc2a91f0731907a 100644 --- a/Dockerfile +++ b/Dockerfile @@ -27,9 +27,7 @@ RUN cargo install --path /root/redoxer # Install redoxer toolchain RUN TARGET=x86_64-unknown-redox redoxer toolchain && \ - TARGET=i686-unknown-redox redoxer toolchain && \ - TARGET=aarch64-unknown-redox redoxer toolchain && \ - TARGET=riscv64gc-unknown-redox redoxer toolchain + TARGET=i686-unknown-redox redoxer toolchain # Ensure redoxer exec is working RUN redoxer exec true