Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-05 05:30:08 +01:00
Code Issues Projects Releases Packages Wiki Activity

Auto merge of #24782 - servo:timing, r=SimonSapin

Browse source 
Prepend `-Ztimings=info`, don’t append, so it can be overridden
This commit is contained in:
bors-servo 2019-11-19 14:09:37 -05:00 • committed by GitHub
commit e953eb10b7
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

4
python/servo/build_commands.py
View file

@ -628,7 +628,9 @@ class MachCommands(CommandBase):
])
# https://internals.rust-lang.org/t/exploring-crate-graph-build-times-with-cargo-build-ztimings/10975
opts += ["-Ztimings=info"]
# Prepend so that e.g. `-Ztimings` (which means `-Ztimings=info,html`)
# given on the command line can override it
opts = ["-Ztimings=info"] + opts
if very_verbose:
print (["Calling", "cargo", "build"] + opts)