From de714640bd744b194d1b4c918a6f44d3cba02339 Mon Sep 17 00:00:00 2001
From: Aleksey Kladov <aleksey.kladov@gmail.com>
Date: Fri, 24 Jul 2020 16:28:07 +0200
Subject: Add metrics

---
 xtask/src/main.rs | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'xtask/src/main.rs')

diff --git a/xtask/src/main.rs b/xtask/src/main.rs
index fab984fc0..604954269 100644
--- a/xtask/src/main.rs
+++ b/xtask/src/main.rs
@@ -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!(
                 "\
-- 
cgit v1.2.3