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/command_base.py | |
parent | 5dc80dd07ad75d68cfea2babe64d421eb7b07ba3 (diff) | |
download | servo-06bca43aeef990da8f02cd8b814329f7607365dd.tar.gz servo-06bca43aeef990da8f02cd8b814329f7607365dd.zip |
script: Optionally store backtraces when throwing DOM exceptions.
Diffstat (limited to 'python/servo/command_base.py')
-rw-r--r-- | python/servo/command_base.py | 2 |
1 files changed, 2 insertions, 0 deletions
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", "") |