From bca37cd5893fcbd2f06eaba25b903b1df7063229 Mon Sep 17 00:00:00 2001 From: Matt McCormick Date: Thu, 25 Nov 2021 08:52:58 -0500 Subject: [PATCH] web-wasi: Update wasi-sdk to 14.0 --- web-wasi/Dockerfile.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/web-wasi/Dockerfile.in b/web-wasi/Dockerfile.in index 2a92daa..9b5ec67 100644 --- a/web-wasi/Dockerfile.in +++ b/web-wasi/Dockerfile.in @@ -8,7 +8,7 @@ RUN mkdir ${WASMTIME_HOME} && curl https://wasmtime.dev/install.sh -sSf | bash COPY wasmtime-pwd.sh ${WASMTIME_HOME}/bin/ ENV PATH "$WASMTIME_HOME/bin:$PATH" -ENV WASI_VERSION 12 +ENV WASI_VERSION 14 ENV WASI_VERSION_FULL ${WASI_VERSION}.0 RUN cd /usr/ && \ curl -L -O https://github.com/WebAssembly/wasi-sdk/releases/download/wasi-sdk-${WASI_VERSION}/wasi-sdk-${WASI_VERSION_FULL}-linux.tar.gz && \