diff options
author | edunham <edunham@mozilla.com> | 2016-03-22 13:10:37 -0700 |
---|---|---|
committer | edunham <edunham@mozilla.com> | 2016-03-22 13:10:37 -0700 |
commit | e6a3f85383bbc4ce711d26d250604e4916f0bd2b (patch) | |
tree | 3764d9ffb4ed774c0580b34f3bcce1d6edc0b64b /components/script/dom | |
parent | 50193e9119c567c2c511a53749ff188b9c7ec49e (diff) | |
download | servo-e6a3f85383bbc4ce711d26d250604e4916f0bd2b.tar.gz servo-e6a3f85383bbc4ce711d26d250604e4916f0bd2b.zip |
Read SERVO_RUSTC_WITH_GOLD if no .servobuild
The build system needs to disable gold on arm64 slaves. Other configuration is
done through environment variables, and buildbot hosts currently don't use a
.servobuild file at all.
This change adds the `get_env_bool` function to cast an environment variable's
string contents into a Python boolean, and uses it to retrieve the optional
SERVO_RUSTC_WITH_GOLD setting.
Diffstat (limited to 'components/script/dom')
0 files changed, 0 insertions, 0 deletions