Add metrics

This commit is contained in:
Aleksey Kladov 2020-07-24 16:28:07 +02:00
parent 14a3a713c7
commit de714640bd
4 changed files with 255 additions and 0 deletions

View file

@ -15,6 +15,7 @@ use xtask::{
codegen::{self, Mode},
dist::DistCmd,
install::{ClientOpt, InstallCmd, Malloc, ServerOpt},
metrics::run_metrics,
not_bash::pushd,
pre_commit, project_root,
release::{PromoteCmd, ReleaseCmd},
@ -117,6 +118,7 @@ FLAGS:
args.finish()?;
DistCmd { nightly, client_version }.run()
}
"metrics" => run_metrics(),
_ => {
eprintln!(
"\