Add rustc-perf to metrics

This commit is contained in:
Aleksey Kladov
2020-07-25 10:35:45 +02:00
parent 0a4e90c0f8
commit 451edcc098
6 changed files with 102 additions and 30 deletions

View File

@@ -74,3 +74,10 @@ fn read_stdin() -> Result<String> {
std::io::stdin().read_to_string(&mut buff)?;
Ok(buff)
}
fn report_metric(metric: &str, value: u64, unit: &str) {
if std::env::var("RA_METRICS").is_err() {
return;
}
println!("METRIC:{}:{}:{}", metric, value, unit)
}