diff options
| author | Ralf Jung <post@ralfj.de> | 2025-08-20 09:40:57 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2025-08-20 09:40:57 +0200 |
| commit | 5556212823c359619302748e9280258c11799db1 (patch) | |
| tree | 1c6c0e48794d78b57bcb73b856ae11db76db158e /src | |
| parent | 1a798a8e276607646c260d85f8e6b5342cc162b0 (diff) | |
allow cfg(bootstrap)
Diffstat (limited to 'src')
| -rw-r--r-- | src/tools/miri/Cargo.toml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/tools/miri/Cargo.toml b/src/tools/miri/Cargo.toml index 91dadf78a2f..99111092d39 100644 --- a/src/tools/miri/Cargo.toml +++ b/src/tools/miri/Cargo.toml @@ -78,6 +78,7 @@ native-lib = ["dep:libffi", "dep:libloading", "dep:capstone", "dep:ipc-channel", [lints.rust.unexpected_cfgs] level = "warn" +check-cfg = ['cfg(bootstrap)'] # Be aware that this file is inside a workspace when used via the # submodule in the rustc repo. That means there are many cargo features |