diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2019-11-17 17:49:14 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-11-17 17:49:14 -0500 |
| commit | dfa78986a6f74176bc36f4ba29969ec421a8730c (patch) | |
| tree | baa6eba9bc822e5d4edc60f974ab8ae16d7ea45e /python/servo | |
| parent | d1db623dfc918796ebdfd213f00690cead4cd91a (diff) | |
| parent | 0dad48f54f6fdbb105175f7ad37e28ba4802e455 (diff) | |
| download | servo-dfa78986a6f74176bc36f4ba29969ec421a8730c.tar.gz servo-dfa78986a6f74176bc36f4ba29969ec421a8730c.zip | |
Auto merge of #24753 - servo:mainstream-brew, r=jdm
Use an already-installed Homebrew at /usr/local
This requires https://github.com/servo/taskcluster-config/pull/4 to be deployed.
Having the standard location helps `pkg-config` (CC https://github.com/servo/servo/pull/24688), and allows installing pre-compiled pakcages (which is much faster than compiling from source).
Diffstat (limited to 'python/servo')
| -rw-r--r-- | python/servo/build_commands.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/python/servo/build_commands.py b/python/servo/build_commands.py index aa99557c7b7..3abd74d81c9 100644 --- a/python/servo/build_commands.py +++ b/python/servo/build_commands.py @@ -627,6 +627,9 @@ class MachCommands(CommandBase): '-C', env["GSTREAMER_DIR"], ]) + # https://internals.rust-lang.org/t/exploring-crate-graph-build-times-with-cargo-build-ztimings/10975 + opts += ["-Ztimings=info"] + if very_verbose: print (["Calling", "cargo", "build"] + opts) for key in env: |