diff options
| author | Tyler Mandry <tmandry@gmail.com> | 2020-09-16 12:24:14 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-16 12:24:14 -0700 |
| commit | 233937419a0ed5ae602188a60e7ce187b6faaec9 (patch) | |
| tree | 353208bd139474919c42f42cad2b625ec20176dc | |
| parent | 2e0dbf162ce65f3a51af1496be4a085f3644a794 (diff) | |
| parent | 5f3145febd4e0e8ff28bfeec0418ece7f832428a (diff) | |
| download | rust-233937419a0ed5ae602188a60e7ce187b6faaec9.tar.gz rust-233937419a0ed5ae602188a60e7ce187b6faaec9.zip | |
Rollup merge of #76741 - Mark-Simulacrum:no-dry-run-timing, r=alexcrichton
Avoid printing dry run timings This avoids a wall of text on CI with 0.000 as the likely time. r? @alexcrichton
| -rw-r--r-- | src/bootstrap/builder.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/bootstrap/builder.rs b/src/bootstrap/builder.rs index 68a55f2de8d..d2537d65e67 100644 --- a/src/bootstrap/builder.rs +++ b/src/bootstrap/builder.rs @@ -1394,7 +1394,7 @@ impl<'a> Builder<'a> { (out, dur - deps) }; - if self.config.print_step_timings { + if self.config.print_step_timings && !self.config.dry_run { println!("[TIMING] {:?} -- {}.{:03}", step, dur.as_secs(), dur.subsec_millis()); } |