diff options
| author | Patrice Arruda <patricearruda@google.com> | 2020-10-12 22:38:06 +0000 |
|---|---|---|
| committer | Patrice Arruda <patricearruda@google.com> | 2020-10-15 17:39:49 +0000 |
| commit | af7b75b8dbddad892f0037b9f5b6574855780bcd (patch) | |
| tree | 6cff20b252992399f82f820cec92cf4fc4049ff2 /scripts/lint-project-xml.py | |
| parent | 3fc4c98bd9945204eef2a6957ba5a829929a67bc (diff) | |
Collect the hostname of the machine as a metric.
The hostname is collected during a build to determine where the user
is build from (from office workstation, cloudtop, etc...). This is a
useful metrics for RBE related builds.
Bug: b/169395325
Test: m nothing, ran printproto to verify that soong_metrics has the
hostname.
Change-Id: I3e5d64f948ae43c5dda60de1d4a52b187e36dff8
Merged-In: I3e5d64f948ae43c5dda60de1d4a52b187e36dff8
Merged-In: Ib6898b49c16a830d814efe74581bde463caedf76
Diffstat (limited to 'scripts/lint-project-xml.py')
0 files changed, 0 insertions, 0 deletions