mirror of
https://github.com/rust-lang/rust.git
synced 2024-10-30 22:12:15 +00:00
Remove Miri special-case
This commit is contained in:
parent
897fb6cb1a
commit
b512608275
@ -1,13 +1,5 @@
|
||||
cfg_if::cfg_if! {
|
||||
if #[cfg(miri)] {
|
||||
/// Mitigation for <https://github.com/rust-lang/rust/issues/126600>
|
||||
///
|
||||
/// This mitigation is not necessary when running under Miri, so this function does nothing
|
||||
/// when running under Miri.
|
||||
pub(crate) fn unique_thread_exit() {
|
||||
// Mitigation not required on Miri, where `exit` is thread-safe.
|
||||
}
|
||||
} else if #[cfg(target_os = "linux")] {
|
||||
if #[cfg(target_os = "linux")] {
|
||||
/// Mitigation for <https://github.com/rust-lang/rust/issues/126600>
|
||||
///
|
||||
/// On UNIX-like platforms (where `libc::exit` may not be thread-safe), ensure that only one
|
||||
|
Loading…
Reference in New Issue
Block a user