message: Update to new toolchain
diff: @@ -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
  