diff options
author | Aleksey Kladov <[email protected]> | 2020-07-24 23:16:21 +0100 |
---|---|---|
committer | Aleksey Kladov <[email protected]> | 2020-07-24 23:16:21 +0100 |
commit | 101cdc57c2eaec7c98213cf8babcad6c6342a144 (patch) | |
tree | 65d924108908be412680cb377de1149d84a4140c /xtask/src/main.rs | |
parent | a09a00a56049c705dcddc33773a27d5ce976b02e (diff) |
Add self-analysis-stats to metrics
Diffstat (limited to 'xtask/src/main.rs')
-rw-r--r-- | xtask/src/main.rs | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/xtask/src/main.rs b/xtask/src/main.rs index 604954269..b69b884e5 100644 --- a/xtask/src/main.rs +++ b/xtask/src/main.rs | |||
@@ -15,7 +15,7 @@ use xtask::{ | |||
15 | codegen::{self, Mode}, | 15 | codegen::{self, Mode}, |
16 | dist::DistCmd, | 16 | dist::DistCmd, |
17 | install::{ClientOpt, InstallCmd, Malloc, ServerOpt}, | 17 | install::{ClientOpt, InstallCmd, Malloc, ServerOpt}, |
18 | metrics::run_metrics, | 18 | metrics::MetricsCmd, |
19 | not_bash::pushd, | 19 | not_bash::pushd, |
20 | pre_commit, project_root, | 20 | pre_commit, project_root, |
21 | release::{PromoteCmd, ReleaseCmd}, | 21 | release::{PromoteCmd, ReleaseCmd}, |
@@ -118,7 +118,11 @@ FLAGS: | |||
118 | args.finish()?; | 118 | args.finish()?; |
119 | DistCmd { nightly, client_version }.run() | 119 | DistCmd { nightly, client_version }.run() |
120 | } | 120 | } |
121 | "metrics" => run_metrics(), | 121 | "metrics" => { |
122 | let dry_run = args.contains("--dry-run"); | ||
123 | args.finish()?; | ||
124 | MetricsCmd { dry_run }.run() | ||
125 | } | ||
122 | _ => { | 126 | _ => { |
123 | eprintln!( | 127 | eprintln!( |
124 | "\ | 128 | "\ |