Skip to content

Conversation

@tesuji
Copy link
Contributor

@tesuji tesuji commented Jan 31, 2020

changelog: none

@tesuji tesuji requested a review from phansch January 31, 2020 13:45
@tesuji
Copy link
Contributor Author

tesuji commented Jan 31, 2020

cc #5109 (comment)

@tesuji tesuji closed this Jan 31, 2020
@tesuji tesuji deleted the dev-target-dir branch January 31, 2020 15:22
@tesuji
Copy link
Contributor Author

tesuji commented Jan 31, 2020

Hmm, think about it more. This change doesn't respect the CARGO_TARGET_DIR env.

@flip1995
Copy link
Member

I don't think it really matters, since the compile time of clippy_dev is relatively low anyways. In CI we already set the CARGO_TARGET_DIR var anyway.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants