diff options
| author | Samson <16504129+sagudev@users.noreply.github.com> | 2024-04-29 15:33:12 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-04-29 13:33:12 +0000 |
| commit | 6ca3bb440ea23480a3825cefa7a85a429d793a94 (patch) | |
| tree | 4d90db600cc4ce3aacc7dfca20b3054cb2d036d0 /python/servo/platform/linux.py | |
| parent | fe6e1cfb296ac4d850163ee1f68a5c600eb0b6ab (diff) | |
| download | servo-6ca3bb440ea23480a3825cefa7a85a429d793a94.tar.gz servo-6ca3bb440ea23480a3825cefa7a85a429d793a94.zip | |
Run platform_bootstrap first (#31840)
Diffstat (limited to 'python/servo/platform/linux.py')
| -rw-r--r-- | python/servo/platform/linux.py | 8 |
1 files changed, 5 insertions, 3 deletions
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 |