From a73f8f15e47eefaae8011a9d8212df554b031cf7 Mon Sep 17 00:00:00 2001
From: Frank Denis <github@pureftpd.org>
Date: Tue, 9 Jul 2019 19:37:31 +0200
Subject: [PATCH] Use /opt/wasi-libc as the default WASI sysroot

---
 dist-build/wasm32-wasi.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dist-build/wasm32-wasi.sh b/dist-build/wasm32-wasi.sh
index 0b28dff7..88b18430 100755
--- a/dist-build/wasm32-wasi.sh
+++ b/dist-build/wasm32-wasi.sh
@@ -1,7 +1,7 @@
 #! /bin/sh
 
 if [ -z "$WASI_SYSROOT" ]; then
-  export WASI_SYSROOT="/opt/wasi-sysroot"
+  export WASI_SYSROOT="/opt/wasi-libc"
 fi
 
 export PATH="/usr/local/opt/llvm/bin:$PATH"