diff options
| author | Akshat Agarwal <humancalico@disroot.org> | 2020-03-20 03:11:13 +0530 |
|---|---|---|
| committer | Akshat Agarwal <humancalico@disroot.org> | 2020-03-20 03:11:13 +0530 |
| commit | d26ff91c3cdbf357c1a0e2411e117cfeac2c98e0 (patch) | |
| tree | 1bea2fef1a95e2dfdc5b43d4ab28e5b90cc131e1 /python/servo/bootstrap.py | |
| parent | d9c84b74cdccbc983994b5d40496e2f90e9f882e (diff) | |
| download | servo-d26ff91c3cdbf357c1a0e2411e117cfeac2c98e0.tar.gz servo-d26ff91c3cdbf357c1a0e2411e117cfeac2c98e0.zip | |
added pop!_os support for ./mach bootstrap
Diffstat (limited to 'python/servo/bootstrap.py')
| -rw-r--r-- | python/servo/bootstrap.py | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/python/servo/bootstrap.py b/python/servo/bootstrap.py index ae3574dd41b..9291ce87e3f 100644 --- a/python/servo/bootstrap.py +++ b/python/servo/bootstrap.py @@ -362,6 +362,22 @@ def get_linux_distribution(): raise Exception('unsupported version of %s: %s' % (distrib, version)) distrib, version = 'Ubuntu', base_version + elif distrib == 'Pop!_OS': + if '.' in version: + major, _ = version.split('.', 1) + else: + major = version + + if major == '19': + base_version = '18.04' + elif major == '18': + base_version = '16.04' + elif major == '17': + base_version = '14.04' + else: + raise Exception('unsupported version of %s: %s' % (distrib, version)) + + distrib, version = 'Ubuntu', base_version elif distrib.lower() == 'elementary': if version == '5.0': base_version = '18.04' |