diff options
Diffstat (limited to '')
-rwxr-xr-x | src/ci/docker/host-x86_64/dist-various-1/install-x86_64-redox.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/ci/docker/host-x86_64/dist-various-1/install-x86_64-redox.sh b/src/ci/docker/host-x86_64/dist-various-1/install-x86_64-redox.sh new file mode 100755 index 000000000..dad979223 --- /dev/null +++ b/src/ci/docker/host-x86_64/dist-various-1/install-x86_64-redox.sh @@ -0,0 +1,6 @@ +#!/usr/bin/env bash + +set -ex + +curl https://static.redox-os.org/toolchain/x86_64-unknown-redox/relibc-install.tar.gz | \ +tar --extract --gzip --directory /usr/local |