diff options
| author | Jon Gjengset <[email protected]> | 2020-12-17 01:38:21 +0000 |
|---|---|---|
| committer | Jon Gjengset <[email protected]> | 2020-12-17 01:38:37 +0000 |
| commit | 9802c0ccd0cf408260961eb61581b61363c4b47b (patch) | |
| tree | 81be12d7e34db589eba33024a25af854cf93aaa3 /editors/code/.gitignore | |
| parent | 554dd215c729c3598ceb014f61d9d295d554036a (diff) | |
Default to host platform for cargo metadata
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.
Diffstat (limited to 'editors/code/.gitignore')
0 files changed, 0 insertions, 0 deletions