Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-06-06 16:45:39 +00:00
Code Issues Projects Releases Packages Wiki Activity

script: Optionally store backtraces when throwing DOM exceptions.

Browse source
This commit is contained in:
Josh Matthews 2018-08-01 14:54:08 -04:00
parent 5dc80dd07a
commit 06bca43aee
9 changed files with 51 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

5
python/servo/build_commands.py
View file

@ -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)]

2
python/servo/command_base.py
View file

@ -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", "")