diff options
Diffstat (limited to 'python')
| -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 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)] diff --git a/python/servo/command_base.py b/python/servo/command_base.py index b6faa53a5e1..3770de6c9cd 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", "") |