Promote arm64ec-pc-windows-msvc to tier 2 · model-checking/verify-rust-std@149a237 (original) (raw)
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -244,7 +244,11 @@ mod arch { | ||
| 244 | 244 | pub use libc::{blkcnt_t, blksize_t, ino_t, nlink_t, off_t, stat, time_t}; |
| 245 | 245 | } |
| 246 | 246 | |
| 247 | -#[cfg(target_arch = "aarch64")] | |
| 247 | +#[cfg(any( | |
| 248 | + target_arch = "aarch64", | |
| 249 | + // Arm64EC is Windows-only, but docs are always build as Linux, so re-use AArch64 for Arm64EC. | |
| 250 | + all(doc, target_arch = "arm64ec") | |
| 251 | +))] | |
| 248 | 252 | mod arch { |
| 249 | 253 | use crate::os::raw::{c_int, c_long}; |
| 250 | 254 |