summaryrefslogtreecommitdiffstats
path: root/src
diff options
context:
space:
mode:
authorsyn <isaqtm@gmail.com>2020-02-14 15:25:35 +0300
committersyn <isaqtm@gmail.com>2020-02-14 15:25:35 +0300
commitc46f849952d7140ab171393d636c58ac78090284 (patch)
treea9e1d3708f2a678cdf7eae4ca984d4124d93f270 /src
parent73e7e264cc996c42510d9c8e774dd46cfc160a74 (diff)
downloadevr-c46f849952d7140ab171393d636c58ac78090284.tar.gz
Print info to stderr
Diffstat (limited to 'src')
-rw-r--r--src/main.rs5
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)