diff --git a/.travis/redox-toolchain.sh b/.travis/redox-toolchain.sh deleted file mode 100755 index d8b43b489..000000000 --- a/.travis/redox-toolchain.sh +++ /dev/null @@ -1,7 +0,0 @@ -#!/bin/sh - -rustup target add x86_64-unknown-redox -sudo apt-key adv --keyserver keyserver.ubuntu.com --recv-keys AA12E97F0881517F -sudo add-apt-repository 'deb https://static.redox-os.org/toolchain/apt /' -sudo apt-get update -qq -sudo apt-get install -y x86-64-unknown-redox-gcc