summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorYuki Okushi <huyuumi.dev@gmail.com>2019-12-06 15:37:14 +0900
committerGitHub <noreply@github.com>2019-12-06 15:37:14 +0900
commitacd2b0835d1b833b851501a9d255ee7882f45a84 (patch)
tree7fc40a665a0aef355652426dfcfd4ee9de395e00
parentRollup merge of #67065 - alexcrichton:update-wasi, r=sfackler (diff)
parentUpdate the revision of wasi-libc used in wasm32-wasi (diff)
downloadrust-acd2b0835d1b833b851501a9d255ee7882f45a84.tar.gz
rust-acd2b0835d1b833b851501a9d255ee7882f45a84.tar.bz2
rust-acd2b0835d1b833b851501a9d255ee7882f45a84.tar.xz
Rollup merge of #67066 - alexcrichton:update-wasi-libc, r=Mark-Simulacrum
Update the revision of wasi-libc used in wasm32-wasi This commit updates the `wasi-libc` repository used to build the wasm32-wasi target's libstd to ensure that both libstd and libc are using the same wasi snapshot version.
-rwxr-xr-xsrc/ci/docker/dist-various-2/build-wasi-toolchain.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/ci/docker/dist-various-2/build-wasi-toolchain.sh b/src/ci/docker/dist-various-2/build-wasi-toolchain.sh
index 17aa789..925d5ca 100755
--- a/src/ci/docker/dist-various-2/build-wasi-toolchain.sh
+++ b/src/ci/docker/dist-various-2/build-wasi-toolchain.sh
@@ -12,7 +12,7 @@ export PATH=`pwd`/clang+llvm-9.0.0-x86_64-linux-gnu-ubuntu-14.04/bin:$PATH
12git clone https://github.com/CraneStation/wasi-libc 12git clone https://github.com/CraneStation/wasi-libc
13 13
14cd wasi-libc 14cd wasi-libc
15git reset --hard a94d2d04e7722b323573da2bd04e909a5763d35b 15git reset --hard f645f498dfbbbc00a7a97874d33082d3605c3f21
16make -j$(nproc) INSTALL_DIR=/wasm32-wasi install 16make -j$(nproc) INSTALL_DIR=/wasm32-wasi install
17 17
18cd .. 18cd ..