From 33e7fa9ee9a0c6fbfb376f2aab3d08a6a3c5a447 Mon Sep 17 00:00:00 2001
From: Frank Denis <github@pureftpd.org>
Date: Wed, 7 Aug 2019 19:26:27 +0200
Subject: [PATCH] Update the WASI SDK

---
 azure-pipelines.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/azure-pipelines.yml b/azure-pipelines.yml
index b688459b..0cff7f3b 100644
--- a/azure-pipelines.yml
+++ b/azure-pipelines.yml
@@ -19,7 +19,7 @@ jobs:
           (cd wasmer && cargo install --path .)
         displayName: Install wasmer
       - script: |
-          curl -sL -o wasi-sdk.deb https://github.com/CraneStation/wasi-sdk/releases/download/wasi-sdk-5/wasi-sdk_5.0_amd64.deb
+          curl -sL -o wasi-sdk.deb https://github.com/CraneStation/wasi-sdk/releases/download/wasi-sdk-6/wasi-sdk_6.0_amd64.deb
           sudo dpkg -i wasi-sdk.deb && rm -f wasi-sdk.deb
           sudo ln -s /opt/wasi-sdk/share/*sysroot* /opt/wasi-sysroot
         displayName: Install the WASI SDK