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/servo/platform | |
| 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/servo/platform')
| -rw-r--r-- | python/servo/platform/base.py | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/python/servo/platform/base.py b/python/servo/platform/base.py index e6d3e955cda..7333c7dc4ae 100644 --- a/python/servo/platform/base.py +++ b/python/servo/platform/base.py @@ -54,10 +54,12 @@ class Base: except FileNotFoundError: return False - def bootstrap(self, force: bool): - installed_something = self._platform_bootstrap(force) + def bootstrap(self, force: bool, skip_platform: bool): + if not skip_platform: + installed_something = self._platform_bootstrap(force) installed_something |= self.install_taplo(force) installed_something |= self.install_crown(force) + if not installed_something: print("Dependencies were already installed!") |