diff options
Diffstat (limited to 'src/ci')
| -rw-r--r-- | src/ci/docker/thumb-none/Dockerfile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/ci/docker/thumb-none/Dockerfile b/src/ci/docker/thumb-none/Dockerfile index bbf55c9ba53..f3ee60c296f 100644 --- a/src/ci/docker/thumb-none/Dockerfile +++ b/src/ci/docker/thumb-none/Dockerfile @@ -119,7 +119,6 @@ ENV RUST_CONFIGURE_ARGS \ --musl-root-aarch64=/musl-aarch64 \ --musl-root-mips=/musl-mips \ --musl-root-mipsel=/musl-mipsel \ - --enable-emscripten \ --disable-docs ENV SCRIPT python2.7 ../x.py test --target $TARGETS src/test/run-make |