diff options
| author | Josh Matthews <josh@joshmatthews.net> | 2022-03-06 18:04:42 -0500 |
|---|---|---|
| committer | Josh Matthews <josh@joshmatthews.net> | 2022-03-06 18:11:57 -0500 |
| commit | af5a17f94badedd9778b3aa871e4e3d55921e59d (patch) | |
| tree | d68a74c531262089d0a77bde4240de92d67061c2 /python/servo/build_commands.py | |
| parent | ecb4f4225acf1742671927a4132ca58de69483ff (diff) | |
| download | servo-af5a17f94badedd9778b3aa871e4e3d55921e59d.tar.gz servo-af5a17f94badedd9778b3aa871e4e3d55921e59d.zip | |
Update rustc to 3/6 nightly.
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) |