diff options
author | gnzlbg <gonzalobg88@gmail.com> | 2019-05-16 09:56:07 +0200 |
---|---|---|
committer | gnzlbg <gonzalobg88@gmail.com> | 2019-05-16 11:03:45 +0200 |
commit | 5a0e37ec376c4583b34d419eaa7676d7ee29f1ff (patch) | |
tree | fa55fd6d5a4841f986d63218e2932f7fe6d30532 /ci/build.sh | |
parent | 77a4683aa1bceafb54c5a34c628f26fd746cb47f (diff) | |
download | rust-libc-5a0e37ec376c4583b34d419eaa7676d7ee29f1ff.tar.gz |
Add wasm32-wasi to ci/build.sh
Diffstat (limited to 'ci/build.sh')
-rw-r--r-- | ci/build.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ci/build.sh b/ci/build.sh index 6e6096603f..eb07c182ea 100644 --- a/ci/build.sh +++ b/ci/build.sh @@ -115,6 +115,7 @@ aarch64-fuchsia \ armv5te-unknown-linux-gnueabi \ armv5te-unknown-linux-musleabi \ i686-pc-windows-gnu \ +wasm32-wasi \ x86_64-fortanix-unknown-sgx \ x86_64-fuchsia \ x86_64-pc-windows-gnu \ |