diff options
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) |