diff options
Diffstat (limited to 'python/servo')
| -rw-r--r-- | python/servo/platform/base.py | 4 | ||||
| -rw-r--r-- | python/servo/platform/linux.py | 8 |
2 files changed, 7 insertions, 5 deletions
diff --git a/python/servo/platform/base.py b/python/servo/platform/base.py index cb0c1be527b..e6d3e955cda 100644 --- a/python/servo/platform/base.py +++ b/python/servo/platform/base.py @@ -55,9 +55,9 @@ class Base: return False def bootstrap(self, force: bool): - installed_something = self.install_taplo(force) + installed_something = self._platform_bootstrap(force) + installed_something |= self.install_taplo(force) installed_something |= self.install_crown(force) - installed_something |= self._platform_bootstrap(force) if not installed_something: print("Dependencies were already installed!") diff --git a/python/servo/platform/linux.py b/python/servo/platform/linux.py index 58cc7813bd6..9f7ff2e0ff2 100644 --- a/python/servo/platform/linux.py +++ b/python/servo/platform/linux.py @@ -146,9 +146,11 @@ class Linux(Base): 'void', 'fedora linux asahi remix' ]: - raise NotImplementedError(f"mach bootstrap does not support {self.distro}." - " You may be able to install dependencies manually." - " See https://github.com/servo/servo/wiki/Building.") + print(f"mach bootstrap does not support {self.distro}." + " You may be able to install dependencies manually." + " See https://github.com/servo/servo/wiki/Building.") + input("Press Enter to continue...") + return False installed_something = self.install_non_gstreamer_dependencies(force) return installed_something |