disable miri and related debugging until rust-lang/miri#2340 is fixed

matthiaskrgr · Jul 9, 2022 · 3ebbcbb · 3ebbcbb
1 parent a15a46d
commit 3ebbcbb
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 3 deletions.
diff --git a/src/main.rs b/src/main.rs
@@ -126,7 +126,8 @@ fn main() {
                 &Executable::Rustdoc,
                 &Executable::Clippy,
                 &Executable::Rustfmt,
-                &Executable::Miri,
+                // disable miri until https://github.com/rust-lang/miri/issues/2340 is fixed
+                //&Executable::Miri,
             ]
         }
     };

diff --git a/src/run_commands.rs b/src/run_commands.rs
@@ -491,14 +491,15 @@ pub(crate) fn run_miri(
     //let stderr = String::from_utf8(out.stderr.clone()).unwrap();
     //eprintln!("{}", stderr);
     let out2 = out.clone();
-    let out3 = out.clone(); // hax
+    //let out3 = out.clone(); // hax
     if [out2.stderr, out2.stdout].into_iter().any(|out| {
         let out = String::from_utf8(out).unwrap();
         out.contains("compiler_builtins ")
     }) {
-        eprintln!("\n\n\n\n");
+       /* eprintln!("\n\n\n\n");
         eprintln!("STDOUT:\n {}", String::from_utf8(out3.stdout).unwrap());
         eprintln!("STDERR:\n {}", String::from_utf8(out3.stderr).unwrap());
+        */
 
         panic!(
             "miri tried to recompile std!!\n{:?} {:?} {:?} in  {:?}\n\n",