Minimal miri support

Should address https://github.com/rust-lang/miri/issues/932
This commit is contained in:
Luca Barbato
2019-08-31 09:30:10 +02:00
committed by gnzlbg
parent 5bfd08cd65
commit 430744f46a

View File

@@ -64,7 +64,10 @@ mod bit;
mod cache;
cfg_if! {
if #[cfg(any(target_arch = "x86", target_arch = "x86_64"))] {
if #[cfg(miri)] {
#[path = "os/other.rs"]
mod os;
} else if #[cfg(any(target_arch = "x86", target_arch = "x86_64"))] {
// On x86/x86_64 no OS specific functionality is required.
#[path = "os/x86.rs"]
mod os;