diff options
Diffstat (limited to 'python/servo/build_commands.py')
| -rw-r--r-- | python/servo/build_commands.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/python/servo/build_commands.py b/python/servo/build_commands.py index 976e39c6b47..a3875e2c679 100644 --- a/python/servo/build_commands.py +++ b/python/servo/build_commands.py @@ -645,7 +645,7 @@ class MachCommands(CommandBase): # https://internals.rust-lang.org/t/exploring-crate-graph-build-times-with-cargo-build-ztimings/10975 # Prepend so that e.g. `-Ztimings` (which means `-Ztimings=info,html`) # given on the command line can override it - opts = ["-Ztimings=info"] + opts + opts = ["--timings"] + opts if very_verbose: print(["Calling", "cargo", "build"] + opts) |