diff options
| author | bors-servo <metajack+bors@gmail.com> | 2015-06-15 13:08:14 -0600 |
|---|---|---|
| committer | bors-servo <metajack+bors@gmail.com> | 2015-06-15 13:08:14 -0600 |
| commit | d6263c9b6e969fde4c644034e684a39d68667ad9 (patch) | |
| tree | 29a6dc1dc0a1a1e6e9d77ae0d447418b2c777df6 /python/servo/post_build_commands.py | |
| parent | bb39e835f16cf53a8135f873ed6e979640c0a8ba (diff) | |
| parent | a0237085c6894cc781bc99469a735206e1e6b127 (diff) | |
| download | servo-d6263c9b6e969fde4c644034e684a39d68667ad9.tar.gz servo-d6263c9b6e969fde4c644034e684a39d68667ad9.zip | |
Auto merge of #6306 - metajack:shared-target-dir, r=mbrubeck
This speeds up `./mach build --dev` followed by `./mach build-cef` by
25%. When rust-lang/cargo#497 is fixed, this speedup will increase
dramatically.
<!-- Reviewable:start -->
[<img src="https://reviewable.io/review_button.png" height=40 alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/6306)
<!-- Reviewable:end -->
Diffstat (limited to 'python/servo/post_build_commands.py')
| -rw-r--r-- | python/servo/post_build_commands.py | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/python/servo/post_build_commands.py b/python/servo/post_build_commands.py index 927b425efe8..efa315158f8 100644 --- a/python/servo/post_build_commands.py +++ b/python/servo/post_build_commands.py @@ -137,8 +137,7 @@ class MachCommands(CommandBase): if not path.exists(path.join(self.config["tools"]["rust-root"], "doc")): Registrar.dispatch("bootstrap-rust-docs", context=self.context) rust_docs = path.join(self.config["tools"]["rust-root"], "doc") - docs = path.join( - self.context.topdir, "components", "servo", "target", "doc") + docs = path.join(self.get_target_dir(), "doc") if not path.exists(docs): os.makedirs(docs) @@ -167,4 +166,4 @@ class MachCommands(CommandBase): self.doc([]) import webbrowser webbrowser.open("file://" + path.abspath(path.join( - self.servo_crate(), "target", "doc", "servo", "index.html"))) + self.get_target_dir(), "doc", "servo", "index.html"))) |