diff options
| -rw-r--r-- | src/main.rs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/main.rs b/src/main.rs index 1bb683b..e4c79ec 100644 --- a/src/main.rs +++ b/src/main.rs @@ -47,11 +47,12 @@ fn main() { if let Some(backend) = config.get_backend(&src_path) { match backend.run(&src_path) { Ok(status) => { + // print to stderr to allow `>/dev/null` for user programs if matches.is_present("time") { - println!("wall time: {:?}", status.wall_time); + eprintln!("wall time: {:?}", status.wall_time); } if matches.is_present("mem") { - println!("rss: {}K", status.usage.ru_maxrss); + eprintln!("rss: {}K", status.usage.ru_maxrss); } }, Err(err) => error!("{}", err) |