diff options
author | syn <isaqtm@gmail.com> | 2020-02-14 15:25:35 +0300 |
---|---|---|
committer | syn <isaqtm@gmail.com> | 2020-02-14 15:25:35 +0300 |
commit | c46f849952d7140ab171393d636c58ac78090284 (patch) | |
tree | a9e1d3708f2a678cdf7eae4ca984d4124d93f270 | |
parent | 73e7e264cc996c42510d9c8e774dd46cfc160a74 (diff) | |
download | evr-c46f849952d7140ab171393d636c58ac78090284.tar.gz |
Print info to stderr
-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) |