library/std/build.rs: "powerpc64le" is not a target_arch · model-checking/verify-rust-std@67535b6 (original) (raw)
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| @@ -99,7 +99,7 @@ fn main() { | |||
| 99 | 99 | // the compiler-builtins update. https://github.com/rust-lang/rust/issues/123885 | |
| 100 | 100 | ("x86" | "x86_64", _) => false, | |
| 101 | 101 | // Missing `__gnu_h2f_ieee` and `__gnu_f2h_ieee` | |
| 102 | -("powerpc" | "powerpc64" | "powerpc64le", _) => false, | |
| 102 | +("powerpc" | "powerpc64", _) => false, | ||
| 103 | 103 | // Missing `__extendhfsf` and `__truncsfhf` | |
| 104 | 104 | ("riscv32" | "riscv64", _) => false, | |
| 105 | 105 | // Most OSs are missing `__extendhfsf` and `__truncsfhf` |