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

Prepend -Ztimings=info, don’t append, so it can be overridden

Browse source
This commit is contained in:
Simon Sapin 2019-11-19 09:14:51 +01:00
parent 5c92fd84ca
commit 889a8d1d7c
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)