diff options
| author | Martin Robinson <mrobinson@igalia.com> | 2024-04-29 17:29:11 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-04-29 15:29:11 +0000 |
| commit | 4a12c0630927be1ffdedd8f1329081a09337aa1e (patch) | |
| tree | 5566bda1ada9018e55ee8b5dad355fb3a386170c /python/mach_bootstrap.py | |
| parent | 3014e201ab9d7f189a496a4c3c97467e85779f83 (diff) | |
| download | servo-4a12c0630927be1ffdedd8f1329081a09337aa1e.tar.gz servo-4a12c0630927be1ffdedd8f1329081a09337aa1e.zip | |
bootstrap: Add a `--skip-platform` option (#32176)
This allows installign `taplo` and `crown` when you are installing
dependencies manually.
Diffstat (limited to 'python/mach_bootstrap.py')
| -rw-r--r-- | python/mach_bootstrap.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/python/mach_bootstrap.py b/python/mach_bootstrap.py index 86ba50d8341..6690bc1bd2c 100644 --- a/python/mach_bootstrap.py +++ b/python/mach_bootstrap.py @@ -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 |