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

Windows bootstrap support

Browse source
This commit is contained in:
Martin Robinson 2023-06-23 11:07:18 +02:00 • committed by Martin Robinson
parent 35ab311635
commit 633d9b0eb9
10 changed files with 69 additions and 74 deletions
Download patch file Download diff file Expand all files Collapse all files

7
python/mach_bootstrap.py
View file

@ -241,13 +241,8 @@ def bootstrap_command_only(topdir):
import servo.platform
import servo.util
# We are not set up yet, so we always use the default cache directory
# for the initial bootstrap.
# TODO(mrobinson): Why not just run the bootstrap command in this case?
try:
servo.platform.get().bootstrap(
servo.util.get_default_cache_dir(topdir), '-f' in sys.argv)
servo.platform.get().bootstrap('-f' in sys.argv or '--force' in sys.argv)
except NotImplementedError as exception:
print(exception)
return 1