diff options
author | Simon Sapin <simon.sapin@exyr.org> | 2019-11-26 16:16:06 +0100 |
---|---|---|
committer | Simon Sapin <simon.sapin@exyr.org> | 2019-11-26 16:36:24 +0100 |
commit | c156bf2dd9ad110c3b1967566cf8003b634693c9 (patch) | |
tree | 38a7a87117bcfcd58ec0e6d133daa61556e2cd9e /python/servo/command_base.py | |
parent | 98e6f21d026b41043e9cb9dabb5762841f3633ab (diff) | |
download | servo-c156bf2dd9ad110c3b1967566cf8003b634693c9.tar.gz servo-c156bf2dd9ad110c3b1967566cf8003b634693c9.zip |
Add a .servobuild option for --with-debug-assertions
Diffstat (limited to 'python/servo/command_base.py')
-rw-r--r-- | python/servo/command_base.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/python/servo/command_base.py b/python/servo/command_base.py index e6b3ec7908b..20c02852d8a 100644 --- a/python/servo/command_base.py +++ b/python/servo/command_base.py @@ -321,6 +321,7 @@ class CommandBase(object): self.config.setdefault("build", {}) self.config["build"].setdefault("android", False) self.config["build"].setdefault("mode", "") + self.config["build"].setdefault("debug-assertions", False) self.config["build"].setdefault("debug-mozjs", False) self.config["build"].setdefault("ccache", "") self.config["build"].setdefault("rustflags", "") @@ -933,7 +934,7 @@ install them, let us know by filing a bug!") features.append("webgl-backtrace") if self.config["build"]["dom-backtrace"]: features.append("dom-backtrace") - if with_debug_assertions: + if with_debug_assertions or self.config["build"]["debug-assertions"]: env['RUSTFLAGS'] = env.get('RUSTFLAGS', "") + " -C debug_assertions" assert "--features" not in cargo_args |