mirror of
https://github.com/servo/servo.git
synced 2025-06-29 19:43:39 +01:00
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 -->
This commit is contained in:
commit
57053e03bb
16 changed files with 131 additions and 16 deletions
|
@ -288,6 +288,8 @@ class CommandBase(object):
|
|||
self.config["build"].setdefault("rustflags", "")
|
||||
self.config["build"].setdefault("incremental", None)
|
||||
self.config["build"].setdefault("thinlto", False)
|
||||
self.config["build"].setdefault("webgl-backtrace", False)
|
||||
self.config["build"].setdefault("dom-backtrace", False)
|
||||
|
||||
self.config.setdefault("android", {})
|
||||
self.config["android"].setdefault("sdk", "")
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue