Don't print the "total" -Ztime-passes output if --prints=... is also given#64497
Merged
bors merged 1 commit intorust-lang:masterfrom Sep 16, 2019
-Ztime-passes output if --prints=... is also given#64497