From bce9075570889b0fc20aad628594db9555fa194a Mon Sep 17 00:00:00 2001
From: gnzlbg <gonzalobg88@gmail.com>
Date: Mon, 5 Aug 2019 12:47:35 +0200
Subject: [PATCH] Temporarily disable redox target

---
 ci/build.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/ci/build.sh b/ci/build.sh
index abec755d..176c85fe 100644
--- a/ci/build.sh
+++ b/ci/build.sh
@@ -122,6 +122,9 @@ i586-unknown-linux-musl \
 x86_64-unknown-cloudabi \
 "
 
+# FIXME: temporarirly disable the redox target
+# https://github.com/rust-lang/libc/issues/1457
+# x86_64-unknown-redox
 RUST_NIGHTLY_LINUX_TARGETS="\
 aarch64-fuchsia \
 armv5te-unknown-linux-gnueabi \
@@ -132,7 +135,6 @@ x86_64-fortanix-unknown-sgx \
 x86_64-fuchsia \
 x86_64-pc-windows-gnu \
 x86_64-unknown-linux-gnux32 \
-x86_64-unknown-redox \
 "
 
 RUST_OSX_TARGETS="\