diff options
| author | gnzlbg <gonzalobg88@gmail.com> | 2019-07-31 14:36:57 +0200 |
|---|---|---|
| committer | gnzlbg <gonzalobg88@gmail.com> | 2019-08-01 17:01:33 +0200 |
| commit | b1e79ed6fb1c6ee285eeb79a6f36cfb3bbd40281 (patch) | |
| tree | 7091e47d1165011bc9e25f83e9060366fb7b242a /src | |
| parent | e736345db43d36f51bdd1774964fd1462cc05d89 (diff) | |
| download | rust-b1e79ed6fb1c6ee285eeb79a6f36cfb3bbd40281.tar.gz rust-b1e79ed6fb1c6ee285eeb79a6f36cfb3bbd40281.zip | |
Temporarily disable the redox builder
Diffstat (limited to 'src')
| -rw-r--r-- | src/ci/docker/dist-various-1/Dockerfile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/ci/docker/dist-various-1/Dockerfile b/src/ci/docker/dist-various-1/Dockerfile index 2a81de75a69..ce11cd846f5 100644 --- a/src/ci/docker/dist-various-1/Dockerfile +++ b/src/ci/docker/dist-various-1/Dockerfile @@ -104,7 +104,9 @@ ENV TARGETS=$TARGETS,armv5te-unknown-linux-musleabi ENV TARGETS=$TARGETS,armv7-unknown-linux-musleabihf ENV TARGETS=$TARGETS,aarch64-unknown-linux-musl ENV TARGETS=$TARGETS,sparc64-unknown-linux-gnu -ENV TARGETS=$TARGETS,x86_64-unknown-redox +# FIXME: temporarily disable the redox builder, +# see: https://github.com/rust-lang/rust/issues/63160 +# ENV TARGETS=$TARGETS,x86_64-unknown-redox ENV TARGETS=$TARGETS,thumbv6m-none-eabi ENV TARGETS=$TARGETS,thumbv7m-none-eabi ENV TARGETS=$TARGETS,thumbv7em-none-eabi |