Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Auto merge of #10254 - joshtriplett:rmeta-required-no-timings, r=alex…
…crichton Make rmeta_required no longer depend on whether timing is enabled This doesn't appear to affect the quality of the timing information at all. If there's additional information we need from rustc about what it's doing at any given time, we could add mechanisms to retrieve that information, but enabling timing shouldn't force building more than we otherwise would have.
- Loading branch information