aboutsummaryrefslogtreecommitdiffstats
path: root/python/servo/build_commands.py
diff options
context:
space:
mode:
authorMartin Robinson <mrobinson@igalia.com>2023-06-21 14:43:11 +0200
committerMartin Robinson <mrobinson@igalia.com>2023-06-23 15:14:40 +0200
commite679e1f79399a41bb9724c6681c94235845306f8 (patch)
tree111b86bb2185087adcb8ba63086487db5c1f6f81 /python/servo/build_commands.py
parentbefb472c9d43d77d69ff86b447e857c392fe85e0 (diff)
downloadservo-e679e1f79399a41bb9724c6681c94235845306f8.tar.gz
servo-e679e1f79399a41bb9724c6681c94235845306f8.zip
Collect build timings on GitHub CI
This will help to investigate slow builds on GitHub.
Diffstat (limited to 'python/servo/build_commands.py')
-rw-r--r--python/servo/build_commands.py4
1 files changed, 1 insertions, 3 deletions
diff --git a/python/servo/build_commands.py b/python/servo/build_commands.py
index 30d6618f19b..1cf23237807 100644
--- a/python/servo/build_commands.py
+++ b/python/servo/build_commands.py
@@ -393,9 +393,7 @@ class MachCommands(CommandBase):
expr = "s#libdir=.*#libdir=%s#g" % gst_lib_path
subprocess.call(["perl", "-i", "-pe", expr, pc])
- # 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
+ # Gather Cargo build timings (https://doc.rust-lang.org/cargo/reference/timings.html).
opts = ["--timings"] + opts
if very_verbose: