From 889a8d1d7cc6ca7bb66c5c813a7a8e6944e8a609 Mon Sep 17 00:00:00 2001 From: Simon Sapin Date: Tue, 19 Nov 2019 09:14:51 +0100 Subject: [PATCH] =?UTF-8?q?Prepend=20`-Ztimings=3Dinfo`,=20don=E2=80=99t?= =?UTF-8?q?=20append,=20so=20it=20can=20be=20overridden?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- python/servo/build_commands.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) 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)