rust/src/ci/docker/dist-various-1/install-x86_64-redox.sh
2018-12-25 21:08:33 -07:00

13 lines
381 B
Bash
Executable file

#!/usr/bin/env bash
# ignore-tidy-linelength
set -ex
apt-get update
apt-get install -y --no-install-recommends software-properties-common apt-transport-https
apt-key adv --batch --yes --keyserver keyserver.ubuntu.com --recv-keys AA12E97F0881517F
add-apt-repository -y 'deb https://static.redox-os.org/toolchain/apt /'
apt-get update
apt-get install -y x86-64-unknown-redox-gcc