diff options
| author | Learning <liangyongning@gmail.com> | 2019-01-18 15:05:26 +0800 |
|---|---|---|
| committer | Learning <liangyongning@gmail.com> | 2019-01-18 15:05:26 +0800 |
| commit | 4302fa28d36cba73ef71e450a3147daf55655a33 (patch) | |
| tree | b87b20ae8f5409d7d2432490ad686251ea876368 /python/servo/bootstrap.py | |
| parent | 42b600458fe2e40c2db7f7933c006515fd06f85a (diff) | |
| download | servo-4302fa28d36cba73ef71e450a3147daf55655a33.tar.gz servo-4302fa28d36cba73ef71e450a3147daf55655a33.zip | |
Add support for elementary os
Diffstat (limited to 'python/servo/bootstrap.py')
| -rw-r--r-- | python/servo/bootstrap.py | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/python/servo/bootstrap.py b/python/servo/bootstrap.py index 4f9744a7c17..972cd9ae178 100644 --- a/python/servo/bootstrap.py +++ b/python/servo/bootstrap.py @@ -360,6 +360,21 @@ def get_linux_distribution(): raise Exception('unsupported version of %s: %s' % (distro, version)) distro, version = 'Ubuntu', base_version + elif distro.lower() == 'elementary': + if version == '5.0': + base_version = '18.04' + elif version[0:3] == '0.4': + base_version = '16.04' + elif version[0:3] == '0.3': + base_version = '14.04' + elif version == '0.2': + base_version = '12.04' + elif version == '0.1': + base_version = '10.10' + else: + raise Exception('unsupported version of %s: %s' % (distro, version)) + + distro, version = 'Ubuntu', base_version elif distro.lower() not in [ 'centos', 'centos linux', |