summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAlex Crichton <alex@alexcrichton.com>2019-12-05 11:36:35 -0800
committerAlex Crichton <alex@alexcrichton.com>2019-12-05 11:36:35 -0800
commitdb7b0f88f18a9486dbb900503ce8191a1f48a2e1 (patch)
treeb49c5b2338d348c9858043a59802e9876663e37d
parentAuto merge of #66815 - mark-i-m:simplify-borrow_check-errors, r=Dylan-DPC (diff)
downloadrust-db7b0f88f18a9486dbb900503ce8191a1f48a2e1.tar.gz
rust-db7b0f88f18a9486dbb900503ce8191a1f48a2e1.tar.bz2
rust-db7b0f88f18a9486dbb900503ce8191a1f48a2e1.tar.xz
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 ..