Use `curl` instead of `wget` in install-x86_64-redox.sh

diff --git a/src/ci/docker/dist-various-1/install-x86_64-redox.sh b/src/ci/docker/dist-various-1/install-x86_64-redox.sh
index 67c2c633cf3131d5b646d0662438043665bbd2f6..339042bb6729ab2eb16adfb8825a86db0b363147 100755 (executable)
--- a/src/ci/docker/dist-various-1/install-x86_64-redox.sh
+++ b/src/ci/docker/dist-various-1/install-x86_64-redox.sh
@@ -3,5 +3,5 @@
 
 set -ex
 
-wget -O - https://static.redox-os.org/toolchain/x86_64-unknown-redox/relibc-install.tar.gz | \
+curl https://static.redox-os.org/toolchain/x86_64-unknown-redox/relibc-install.tar.gz | \
 tar --extract --gzip --directory /usr/local