diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2018-10-02 06:57:38 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-02 06:57:38 -0400 |
| commit | 57053e03bbfc65e1d2f283cfa8646038be9f9b06 (patch) | |
| tree | c15d90f86e590b0a45a4364ed044d2deb34722ff /python/servo/build_commands.py | |
| parent | 37b978af686975eaf13689580868d9ea201ef04c (diff) | |
| parent | 06bca43aeef990da8f02cd8b814329f7607365dd (diff) | |
| download | servo-57053e03bbfc65e1d2f283cfa8646038be9f9b06.tar.gz servo-57053e03bbfc65e1d2f283cfa8646038be9f9b06.zip | |
Auto merge of #21825 - jdm:backtrace-helpers, r=Manishearth
Optional backtraces for JS errors and WebGL errors
This adds two new build-time features to enable useful debugging tools when investigating why JS and WebGL content isn't working. They're optional because they're quite heavyweight.
---
- [x] `./mach build -d` does not report any errors
- [x] `./mach test-tidy` does not report any errors
- [x] These changes do not require tests because they're optional developer features.
<!-- 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/21825)
<!-- Reviewable:end -->
Diffstat (limited to 'python/servo/build_commands.py')
| -rw-r--r-- | python/servo/build_commands.py | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/python/servo/build_commands.py b/python/servo/build_commands.py index da74a201aa4..5dc21d53e7d 100644 --- a/python/servo/build_commands.py +++ b/python/servo/build_commands.py @@ -264,6 +264,11 @@ class MachCommands(CommandBase): if debug_mozjs: features += ["debugmozjs"] + if self.config["build"]["webgl-backtrace"]: + features += ["webgl-backtrace"] + if self.config["build"]["dom-backtrace"]: + features += ["dom-backtrace"] + if features: opts += ["--features", "%s" % ' '.join(features)] |