mirror of
https://github.com/servo/servo.git
synced 2025-08-04 13:10:20 +01:00
Add a .servobuild option for --with-debug-assertions
This commit is contained in:
parent
98e6f21d02
commit
c156bf2dd9
2 changed files with 5 additions and 1 deletions
|
@ -321,6 +321,7 @@ class CommandBase(object):
|
||||||
self.config.setdefault("build", {})
|
self.config.setdefault("build", {})
|
||||||
self.config["build"].setdefault("android", False)
|
self.config["build"].setdefault("android", False)
|
||||||
self.config["build"].setdefault("mode", "")
|
self.config["build"].setdefault("mode", "")
|
||||||
|
self.config["build"].setdefault("debug-assertions", False)
|
||||||
self.config["build"].setdefault("debug-mozjs", False)
|
self.config["build"].setdefault("debug-mozjs", False)
|
||||||
self.config["build"].setdefault("ccache", "")
|
self.config["build"].setdefault("ccache", "")
|
||||||
self.config["build"].setdefault("rustflags", "")
|
self.config["build"].setdefault("rustflags", "")
|
||||||
|
@ -933,7 +934,7 @@ install them, let us know by filing a bug!")
|
||||||
features.append("webgl-backtrace")
|
features.append("webgl-backtrace")
|
||||||
if self.config["build"]["dom-backtrace"]:
|
if self.config["build"]["dom-backtrace"]:
|
||||||
features.append("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"
|
env['RUSTFLAGS'] = env.get('RUSTFLAGS', "") + " -C debug_assertions"
|
||||||
|
|
||||||
assert "--features" not in cargo_args
|
assert "--features" not in cargo_args
|
||||||
|
|
|
@ -29,6 +29,9 @@ rustc-with-gold = true
|
||||||
# Set "android = true" or use `mach build --android` to build the Android app.
|
# Set "android = true" or use `mach build --android` to build the Android app.
|
||||||
android = false
|
android = false
|
||||||
|
|
||||||
|
# Enable `debug_assert!` macros in release mode
|
||||||
|
debug-assertions = false
|
||||||
|
|
||||||
# Set "debug-mozjs" or use `mach build --debug-mozjs` to build a debug spidermonkey.
|
# Set "debug-mozjs" or use `mach build --debug-mozjs` to build a debug spidermonkey.
|
||||||
debug-mozjs = false
|
debug-mozjs = false
|
||||||
|
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue