diff options
| -rw-r--r-- | src/bootstrap/sanity.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/bootstrap/sanity.rs b/src/bootstrap/sanity.rs index cd67f1eb464..1b1cec5f18c 100644 --- a/src/bootstrap/sanity.rs +++ b/src/bootstrap/sanity.rs @@ -169,7 +169,7 @@ pub fn check(build: &mut Build) { panic!("the iOS target is only supported on macOS"); } - if target.starts_with("thumbv") { + if target.contains("-none-") { if build.no_std(*target).is_none() { let target = build.config.target_config.entry(target.clone()) .or_insert(Default::default()); @@ -178,7 +178,7 @@ pub fn check(build: &mut Build) { } if build.no_std(*target) == Some(false) { - panic!("All the THUMB targets are no-std targets") + panic!("All the *-none-* targets are no-std targets") } } |