diff options
| author | Jorge Aparicio <jorge@japaric.io> | 2019-06-29 09:11:42 +0200 |
|---|---|---|
| committer | Jorge Aparicio <jorge@japaric.io> | 2019-06-29 09:11:57 +0200 |
| commit | be92041a592f65f38cee8475b61d35e7fcee3694 (patch) | |
| tree | 3d7f59dff198183dee3920e790693a93063f3996 /build.rs | |
| parent | df4a7fd3e5df370a83fcdc24aa628bed3fa9f543 (diff) | |
WIP
Diffstat (limited to 'build.rs')
| -rw-r--r-- | build.rs | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -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") } |
