Skip to content

Don't print the profiling summary to stdout when -Zprofile-json is set#56553

Merged
bors merged 1 commit intorust-lang:masterfrom wesleywiser:silence_profiler_outputDec 6, 2018

Commits

Commits on Dec 6, 2018