diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2016-11-13 14:16:15 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-11-13 14:16:15 -0600 |
| commit | bfd4a0e5ffce6ceed6c4426279a8f3dcb3766fd1 (patch) | |
| tree | 0029593b86bc65509459981fa826ced41d7a7fe0 /python | |
| parent | 57c4db7c670f34fffbee0c179077e8afdadf09f8 (diff) | |
| parent | 6c5cb9c369254f154e367e419a431995d286326c (diff) | |
| download | servo-bfd4a0e5ffce6ceed6c4426279a8f3dcb3766fd1.tar.gz servo-bfd4a0e5ffce6ceed6c4426279a8f3dcb3766fd1.zip | |
Auto merge of #14187 - emilio:rr-docs, r=jdm
Add a few minimal debugging docs.
r? @jdm (or anyone else)
<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/14187)
<!-- Reviewable:end -->
Diffstat (limited to 'python')
| -rw-r--r-- | python/servo/post_build_commands.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/python/servo/post_build_commands.py b/python/servo/post_build_commands.py index 0dc5bc498bd..78e1a230ed5 100644 --- a/python/servo/post_build_commands.py +++ b/python/servo/post_build_commands.py @@ -59,6 +59,10 @@ class PostBuildCommands(CommandBase): env = self.build_env() env["RUST_BACKTRACE"] = "1" + # Make --debugger imply --debug + if debugger: + debug = True + if android is None: android = self.config["build"]["android"] |