about summary refs log tree commit diff
diff options
context:
space:
mode:
authorRalf Jung <post@ralfj.de>2019-08-02 17:56:55 +0200
committerRalf Jung <post@ralfj.de>2019-08-08 19:31:46 +0200
commitceda77486f8a37f85326f38bfc7509eea4c38ce9 (patch)
tree9d5a3ce0410495bdf9fb85a2b13f7f29427c93b6
parent295f894b18fedd1ff5748ef122166840a8b83e3c (diff)
downloadrust-ceda77486f8a37f85326f38bfc7509eea4c38ce9.tar.gz
rust-ceda77486f8a37f85326f38bfc7509eea4c38ce9.zip
dont test Miri by default (also be more verbose when being verbose)
-rw-r--r--src/bootstrap/test.rs2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/bootstrap/test.rs b/src/bootstrap/test.rs
index 58a0b5dde2e..00a2802ba81 100644
--- a/src/bootstrap/test.rs
+++ b/src/bootstrap/test.rs
@@ -363,7 +363,6 @@ pub struct Miri {
 impl Step for Miri {
     type Output = ();
     const ONLY_HOSTS: bool = true;
-    const DEFAULT: bool = true;
 
     fn should_run(run: ShouldRun<'_>) -> ShouldRun<'_> {
         run.path("src/tools/miri")
@@ -430,6 +429,7 @@ impl Step for Miri {
             let miri_sysroot = if builder.config.dry_run {
                 String::new()
             } else {
+                builder.verbose(&format!("running: {:?}", cargo));
                 let out = cargo.output()
                     .expect("We already ran `cargo miri setup` before and that worked");
                 assert!(out.status.success(), "`cargo miri setup` returned with non-0 exit code");