diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-12-17 18:32:13 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-12-17 18:32:13 +0000 |
| commit | b55cb897e5104ef30a3d13fe36cb97d6bf6a3597 (patch) | |
| tree | 7f4c106f52341744575e876eb41ea13c626c49ef /xtask/src/metrics.rs | |
| parent | b0e5d1efdbf81fccf655b202d2433700d6e312e1 (diff) | |
| parent | faed47b3d31d2bf533aac489046ed9efc30f239d (diff) | |
Merge #6912
6912: Default to host platform for cargo metadata r=jonhoo a=jonhoo
This modifies the logic for calling cargo metadata so that it will use
the host platform if no explicit target platform is given. This is
needed since cargo metadata defaults to outputting information for _all_
targets.
Fixes #6908.
Co-authored-by: Jon Gjengset <[email protected]>
Co-authored-by: Jon Gjengset <[email protected]>
Diffstat (limited to 'xtask/src/metrics.rs')
0 files changed, 0 insertions, 0 deletions