Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-07-27 01:00:41 +01:00
Code Issues Projects Releases Packages Wiki Activity

build: Honor SERVO_ENABLE_DEBUG_ASSERTIONS.

Browse source
This commit is contained in:
Emilio Cobos Álvarez 2016-09-17 12:04:09 -07:00
parent ce79e04644
commit 6496efd0e7
No known key found for this signature in database
GPG key ID: 056B727BB9C1027C
1 changed files with 6 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

6
python/servo/build_commands.py
View file

@ -216,6 +216,12 @@ class MachCommands(CommandBase):
build_start = time()
env = self.build_env(target=target, is_build=True)
# TODO: If this ends up making it, we should probably add a
# --release-with-debug-assertions option or similar, so it's easier to
# build locally.
if env.get("SERVO_ENABLE_DEBUG_ASSERTIONS", None):
env["RUSTFLAGS"] = "-C debug_assertions"
if android:
# Build OpenSSL for android
make_cmd = ["make"]