From 30ed9835edeba247377a5783e59ad2175df79484 Mon Sep 17 00:00:00 2001
From: Dan Gohman <sunfish@mozilla.com>
Date: Fri, 19 Apr 2019 13:25:37 -0700
Subject: [PATCH] Recognize WASI as either a target_env or a target_os.
Rustc is changing it to be target_os; for now, recognize both.
---
src/lib.rs | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/lib.rs b/src/lib.rs
index 2571f81a..426b6849 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -112,7 +112,7 @@ cfg_if! {
} else if #[cfg(all(target_env = "sgx", target_vendor = "fortanix"))] {
mod sgx;
pub use sgx::*;
- } else if #[cfg(target_env = "wasi")] {
+ } else if #[cfg(any(target_env = "wasi", target_os = "wasi"))] {
mod wasi;
pub use wasi::*;
} else {
--
GitLab