mirror of
https://github.com/servo/servo.git
synced 2025-06-20 23:28:59 +01:00
Download extra stdlib only when required: #9557 Split [`ensure_bootstrap`](https://github.com/danlrobertson/servo/blob/i9557/python/servo/command_base.py#L397-L422) into two phases including a phase checking the compiler, and a phase checking for target libraries. E.g. ``` # should download the stdlib for "i686-unknown-linux-gnu", "arm-linux-androideabi" # and the hosts target ./mach build -d --target i686-unknown-linux-gnu --android # should only download the stdlib for the hosts target ./mach build -d ``` Let me know if I missed anything! There are a few parts of this patch in its current state that I'm not a huge fan of, but I couldn't think of a better way in the moment. Still new to working on servo, so any comments or critiques are welcome! Fix #9557 <!-- Reviewable:start --> [<img src="https://reviewable.io/review_button.svg" height="40" alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/9611) <!-- Reviewable:end --> |
||
---|---|---|
.. | ||
__init__.py | ||
bootstrap_commands.py | ||
build_commands.py | ||
command_base.py | ||
devenv_commands.py | ||
post_build_commands.py | ||
testing_commands.py |