diff options
| author | Ralf Jung <post@ralfj.de> | 2025-08-20 09:35:03 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2025-08-20 09:35:03 +0200 |
| commit | 1d39d00afc6f7ab7b586772ee985badc2aa373ab (patch) | |
| tree | 56d4ab3831e88d9ad5e67e5abf8d11242f68be85 | |
| parent | 8d09fb5e6d330b2e32bb98b89fb8a3fadd2bfd48 (diff) | |
add back cfg(bootstrap), it is still needed
| -rw-r--r-- | src/tools/miri/src/lib.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/tools/miri/src/lib.rs b/src/tools/miri/src/lib.rs index 7d8538d24bb..5ed6d6b346c 100644 --- a/src/tools/miri/src/lib.rs +++ b/src/tools/miri/src/lib.rs @@ -1,3 +1,4 @@ +#![cfg_attr(bootstrap, feature(strict_overflow_ops))] #![feature(abort_unwind)] #![feature(cfg_select)] #![feature(rustc_private)] |