diff options
author | Martin Robinson <mrobinson@igalia.com> | 2023-06-21 14:43:11 +0200 |
---|---|---|
committer | Martin Robinson <mrobinson@igalia.com> | 2023-06-23 15:14:40 +0200 |
commit | e679e1f79399a41bb9724c6681c94235845306f8 (patch) | |
tree | 111b86bb2185087adcb8ba63086487db5c1f6f81 /python/servo/build_commands.py | |
parent | befb472c9d43d77d69ff86b447e857c392fe85e0 (diff) | |
download | servo-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.py | 4 |
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: |