bootstrap: Add a --skip-platform option (#32176)

This allows installign `taplo` and `crown` when you are installing
dependencies manually.
This commit is contained in:
Martin Robinson
2024-04-29 17:29:11 +02:00
committed by GitHub
parent 3014e201ab
commit 4a12c06309
3 changed files with 12 additions and 5 deletions

View File

@@ -198,7 +198,9 @@ def bootstrap_command_only(topdir):
import servo.util
try:
servo.platform.get().bootstrap('-f' in sys.argv or '--force' in sys.argv)
force = '-f' in sys.argv or '--force' in sys.argv
skip_platform = '--skip-platform' in sys.argv
servo.platform.get().bootstrap(force, skip_platform)
except NotImplementedError as exception:
print(exception)
return 1