diff options
| author | bors[bot] <bors[bot]@users.noreply.github.com> | 2018-12-16 21:05:56 +0000 |
|---|---|---|
| committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2018-12-16 21:05:56 +0000 |
| commit | 3511e915b5261ca11928ced3c05fa5ce1cabb138 (patch) | |
| tree | 46081c204b0424802ed88ce61f6e750105aa91e2 /build.rs | |
| parent | c2fbb2848851e32b78e79ff9e919538b7d5ab8a0 (diff) | |
| parent | 22140fbc49b16e422652542371d3b389b2a5fbeb (diff) | |
Merge #116
116: v0.4.0 r=japaric a=japaric
Co-authored-by: Jorge Aparicio <jorge@japaric.io>
Diffstat (limited to 'build.rs')
| -rw-r--r-- | build.rs | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -3,6 +3,10 @@ use std::env; fn main() { let target = env::var("TARGET").unwrap(); + if target.starts_with("thumbv6m") { + println!("cargo:rustc-cfg=armv6m") + } + if target.starts_with("thumbv7m") | target.starts_with("thumbv7em") { println!("cargo:rustc-cfg=armv7m") } |
