diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 21cdbdbaed6c6db82852bb11309f0f0b222f2ee0..dc63a97c9def747a2fcafbeddcaad172458c0a15 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -26,11 +26,10 @@ redox: CC: "x86_64-unknown-redox-gcc" before_script: - apt-get update -qq - - apt-get install -qq build-essential curl git gnupg software-properties-common apt-transport-https - - apt-key adv --keyserver keyserver.ubuntu.com --recv-keys AA12E97F0881517F - - add-apt-repository 'deb https://static.redox-os.org/toolchain/apt /' - - apt-get update -qq && apt-get install -qq x86-64-unknown-redox-gcc - - rustup default nightly-2018-10-05 + - apt-get install -qq tar + - wget -O - https://static.redox-os.org/toolchain/x86_64-unknown-redox/relibc-install.tar.gz | + tar --extract --gzip --directory /usr/local + - rustup default nightly-2018-11-07 - rustup target add x86_64-unknown-redox script: - make TOOLCHAIN= REDOX=1