Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Profile queries #43345

Merged
merged 5 commits into from
Aug 24, 2017
Merged

Profile queries #43345

merged 5 commits into from
Aug 24, 2017

Commits on Aug 23, 2017

  1. inc comp: -Z profile-queries support; see also https://github.com/rus… 

    …t-lang-nursery/rust-forge/blob/master/profile-queries.md
    Matthew Hammer committed Aug 23, 2017
    Configuration menu
    Copy the full SHA
    d7ec3e1 View commit details
    Browse the repository at this point in the history

  2. profiling with -Z profile-queries recognizes -Z time-passes

    Matthew Hammer committed Aug 23, 2017
    Configuration menu
    Copy the full SHA
    28cb03d View commit details
    Browse the repository at this point in the history

  3. -Z profile-queries: remove panic when channel is unset

    Matthew Hammer committed Aug 23, 2017
    Configuration menu
    Copy the full SHA
    3c24fea View commit details
    Browse the repository at this point in the history

  4. -Z profile-queries includes dep_graph.with_task uses in output

    Matthew Hammer committed Aug 23, 2017
    Configuration menu
    Copy the full SHA
    4251032 View commit details
    Browse the repository at this point in the history

  5. -Z profile-query-and-key, separate from -Z profile-query; query key i… 

    …s string option
    Matthew Hammer committed Aug 23, 2017
    Configuration menu
    Copy the full SHA
    43335ae View commit details
    Browse the repository at this point in the history