From 05e02ecb41d4749296d8fad77dfc076977e0584d Mon Sep 17 00:00:00 2001 From: Frank Denis Date: Fri, 10 Apr 2020 09:50:51 +0200 Subject: [PATCH] Try WASI-SDK-10 --- azure-pipelines.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/azure-pipelines.yml b/azure-pipelines.yml index 9f2d8438..1fac7fe6 100644 --- a/azure-pipelines.yml +++ b/azure-pipelines.yml @@ -16,7 +16,7 @@ jobs: curl https://get.wasmer.io -sSfL | sh displayName: Install wasmer - script: | - curl -sL -o - https://github.com/WebAssembly/wasi-sdk/releases/download/wasi-sdk-9/wasi-sdk-9.0-linux.tar.gz | tar xz -f - -C /opt/ + curl -sL -o - https://github.com/WebAssembly/wasi-sdk/releases/download/wasi-sdk-9/wasi-sdk-10.0-linux.tar.gz | tar xz -f - -C /opt/ sudo mv /opt/wasi-sdk-* /opt/wasi-sdk sudo ln -s /opt/wasi-sdk/share/*sysroot* /opt/wasi-sysroot displayName: Install the WASI SDK