diff options
| author | Simon Sapin <simon.sapin@exyr.org> | 2019-11-19 09:14:51 +0100 |
|---|---|---|
| committer | Simon Sapin <simon.sapin@exyr.org> | 2019-11-19 09:14:51 +0100 |
| commit | 889a8d1d7cc6ca7bb66c5c813a7a8e6944e8a609 (patch) | |
| tree | 5613a4dca40d0c70ea1558809deb7136df256951 /python/servo/build_commands.py | |
| parent | 5c92fd84cab4d4e214a8e16042812a38480817ba (diff) | |
| download | servo-889a8d1d7cc6ca7bb66c5c813a7a8e6944e8a609.tar.gz servo-889a8d1d7cc6ca7bb66c5c813a7a8e6944e8a609.zip | |
Prepend `-Ztimings=info`, don’t append, so it can be overridden
Diffstat (limited to 'python/servo/build_commands.py')
| -rw-r--r-- | python/servo/build_commands.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/python/servo/build_commands.py b/python/servo/build_commands.py index 3abd74d81c9..d4ac8d98b68 100644 --- a/python/servo/build_commands.py +++ b/python/servo/build_commands.py @@ -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) |