diff --git a/src/comp/driver/driver.rs b/src/comp/driver/driver.rs index be5e4ea65fb..9cb636716b9 100644 --- a/src/comp/driver/driver.rs +++ b/src/comp/driver/driver.rs @@ -104,8 +104,8 @@ fn time(do_it: bool, what: str, thunk: fn@() -> T) -> T { let start = std::time::precise_time_s(); let rv = thunk(); let end = std::time::precise_time_s(); - #error("time: %s took %s s", what, - float::to_str(end - start, 3u)); + std::io::println(#fmt["time: %s took %s s", what, + float::to_str(end - start, 3u)]); ret rv; }