diff options
| author | Ralf Jung <post@ralfj.de> | 2024-06-27 09:53:59 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2024-06-27 09:59:54 +0200 |
| commit | 4cc16a53aeea6b82d05e665cb4bcbcddb1e2d7be (patch) | |
| tree | 8dd2cf6a454a8d2a3d3d3f456e7c36361eb9f09e | |
| parent | a4e601ff404e4be40e8ddbe9fc59f4f2f4e47cd6 (diff) | |
| download | rust-4cc16a53aeea6b82d05e665cb4bcbcddb1e2d7be.tar.gz rust-4cc16a53aeea6b82d05e665cb4bcbcddb1e2d7be.zip | |
tame unexpected_cfgs
| -rw-r--r-- | src/tools/miri/build.rs | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/tools/miri/build.rs b/src/tools/miri/build.rs index 0977c0ba016..0918c9b1321 100644 --- a/src/tools/miri/build.rs +++ b/src/tools/miri/build.rs @@ -1,8 +1,10 @@ fn main() { // Don't rebuild miri when nothing changed. println!("cargo:rerun-if-changed=build.rs"); - // Re-export the TARGET environment variable so it can - // be accessed by miri. + // Re-export the TARGET environment variable so it can be accessed by miri. Needed to know the + // "host" triple inside Miri. let target = std::env::var("TARGET").unwrap(); println!("cargo:rustc-env=TARGET={target}"); + // Allow some cfgs. + println!("cargo::rustc-check-cfg=cfg(bootstrap)"); } |
