diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2019-11-27 06:02:23 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-11-27 06:02:23 -0500 |
| commit | 83bb96740dfff3bbb89bb7ba3160d37de039e0a1 (patch) | |
| tree | 888f4213e8a78bc38cc8c7337c842c9d4dd99cd4 /python/servo | |
| parent | 81c59077fded1a9402b25cff7006794057b92404 (diff) | |
| parent | 9a4bc23ff0ca2b3bc6781e2d294caf1f492d6da1 (diff) | |
| download | servo-83bb96740dfff3bbb89bb7ba3160d37de039e0a1.tar.gz servo-83bb96740dfff3bbb89bb7ba3160d37de039e0a1.zip | |
Auto merge of #24871 - servo:2020-ci, r=nox,SimonSapin
Run WPT with Layout 2020 on CI
… and gate PRs on the result.
Diffstat (limited to 'python/servo')
| -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 |