aboutsummaryrefslogtreecommitdiff
path: root/build.rs
diff options
context:
space:
mode:
authorJorge Aparicio <jorge@japaric.io>2019-09-15 17:09:40 +0000
committerGitHub <noreply@github.com>2019-09-15 17:09:40 +0000
commit4ff28e9d13e845abf39c662643ae2ff5df57ec16 (patch)
tree7d9770cd357e584d85ef6ddc32bddd1a937d1020 /build.rs
parentfafeeb27270ef24fc3852711c6032f65aa7dbcc0 (diff)
parent7aa270cb92180abfc9102a69efdde378c3396b5e (diff)
Merge pull request #205 from japaric/heterogeneous
rtfm-syntax refactor + heterogeneous multi-core support
Diffstat (limited to 'build.rs')
-rw-r--r--build.rs5
1 files changed, 4 insertions, 1 deletions
diff --git a/build.rs b/build.rs
index 2419b4e..14c3d24 100644
--- a/build.rs
+++ b/build.rs
@@ -7,7 +7,10 @@ fn main() {
println!("cargo:rustc-cfg=armv6m")
}
- if target.starts_with("thumbv7m") | target.starts_with("thumbv7em") {
+ if target.starts_with("thumbv7m")
+ | target.starts_with("thumbv7em")
+ | target.starts_with("thumbv8m")
+ {
println!("cargo:rustc-cfg=armv7m")
}