From 7e37f8e3edfe93ed3c1c4aafc4357cd0e1f9a88f Mon Sep 17 00:00:00 2001 From: Cheng-Hao Date: Sat, 25 Feb 2023 12:40:08 -0800 Subject: [PATCH] add wasm32-wasi as wasi in sys.platform --- vm/src/stdlib/sys.rs | 2 ++ 1 file changed, 2 insertions(+) diff --git a/vm/src/stdlib/sys.rs b/vm/src/stdlib/sys.rs index f72f496a1b..86d6f44fcd 100644 --- a/vm/src/stdlib/sys.rs +++ b/vm/src/stdlib/sys.rs @@ -60,6 +60,8 @@ mod sys { "darwin" } else if #[cfg(windows)] { "win32" + } else if #[cfg(target_os = "wasi")] { + "wasi" } else { "unknown" }