diff options
Diffstat (limited to 'python/servo/build_commands.py')
| -rw-r--r-- | python/servo/build_commands.py | 5 |
1 files changed, 5 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)] |