diff options
| author | Josh Matthews <josh@joshmatthews.net> | 2018-08-01 14:54:08 -0400 |
|---|---|---|
| committer | Josh Matthews <josh@joshmatthews.net> | 2018-10-01 16:04:56 +0200 |
| commit | 06bca43aeef990da8f02cd8b814329f7607365dd (patch) | |
| tree | 364c331380a977e8cb0c8f3867a4bdfc578afe59 /python/servo | |
| parent | 5dc80dd07ad75d68cfea2babe64d421eb7b07ba3 (diff) | |
| download | servo-06bca43aeef990da8f02cd8b814329f7607365dd.tar.gz servo-06bca43aeef990da8f02cd8b814329f7607365dd.zip | |
script: Optionally store backtraces when throwing DOM exceptions.
Diffstat (limited to 'python/servo')
| -rw-r--r-- | python/servo/build_commands.py | 5 | ||||
| -rw-r--r-- | python/servo/command_base.py | 2 |
2 files changed, 7 insertions, 0 deletions
diff --git a/python/servo/build_commands.py b/python/servo/build_commands.py index 12287a0c8dc..ea942474063 100644 --- a/python/servo/build_commands.py +++ b/python/servo/build_commands.py @@ -257,6 +257,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)] diff --git a/python/servo/command_base.py b/python/servo/command_base.py index b335dcd69eb..8c9d5c61cbd 100644 --- a/python/servo/command_base.py +++ b/python/servo/command_base.py @@ -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", "") |