diff options
| author | Nick Cameron <ncameron@mozilla.com> | 2015-05-15 10:55:23 +1200 |
|---|---|---|
| committer | Nick Cameron <ncameron@mozilla.com> | 2015-05-15 11:08:44 +1200 |
| commit | 140577b5aa63826ecfceb1230fbea12edf28b607 (patch) | |
| tree | a0a37b41ec7f1e25467bd13c9106f388ee3be085 /src/librustc/util | |
| parent | dd4dad8c860363077a3d53af025a0c029a613320 (diff) | |
| download | rust-140577b5aa63826ecfceb1230fbea12edf28b607.tar.gz rust-140577b5aa63826ecfceb1230fbea12edf28b607.zip | |
Don't use <Duration as Display>::display() in time passes
Diffstat (limited to 'src/librustc/util')
| -rw-r--r-- | src/librustc/util/common.rs | 13 |
1 files changed, 9 insertions, 4 deletions
diff --git a/src/librustc/util/common.rs b/src/librustc/util/common.rs index 5a5567c48ad..8d5357fa6e4 100644 --- a/src/librustc/util/common.rs +++ b/src/librustc/util/common.rs @@ -44,19 +44,24 @@ pub fn time<T, U, F>(do_it: bool, what: &str, u: U, f: F) -> T where r }); - let mut u = Some(u); let mut rv = None; let dur = { let ref mut rvp = rv; Duration::span(move || { - *rvp = Some(f(u.take().unwrap())) + *rvp = Some(f(u)) }) }; let rv = rv.unwrap(); - println!("{}time: {} \t{}", repeat(" ").take(old).collect::<String>(), - dur, what); + // Hack up our own formatting for the duration to make it easier for scripts + // to parse (always use the same number of decimal places and the same unit). + const NANOS_PER_SEC: f64 = 1_000_000_000.0; + let secs = dur.secs() as f64; + let secs = secs + dur.extra_nanos() as f64 / NANOS_PER_SEC; + println!("{}time: {:.3} \t{}", repeat(" ").take(old).collect::<String>(), + secs, what); + DEPTH.with(|slot| slot.set(old)); rv |
