aboutsummaryrefslogtreecommitdiffstats
path: root/python/servo/bootstrap.py
diff options
context:
space:
mode:
authorbors-servo <lbergstrom+bors@mozilla.com>2019-01-21 17:07:30 -0500
committerGitHub <noreply@github.com>2019-01-21 17:07:30 -0500
commitc3608c0cb581cc055e98605d38540769e28949d1 (patch)
tree6f0c98b4ebcadd395c58409c60bedc066b832beb /python/servo/bootstrap.py
parent6bce9a1d1b075cf40c901aab821fa192361be64b (diff)
parent4302fa28d36cba73ef71e450a3147daf55655a33 (diff)
downloadservo-c3608c0cb581cc055e98605d38540769e28949d1.tar.gz
servo-c3608c0cb581cc055e98605d38540769e28949d1.zip
Auto merge of #22726 - learning:patch-elementary-os, r=jdm
Add support for elementary os <!-- Please describe your changes on the following line: --> Add support for elementary os --- <!-- Thank you for contributing to Servo! Please replace each `[ ]` by `[X]` when the step is complete, and replace `___` with appropriate data: --> - [X] `./mach build -d` does not report any errors - [X] `./mach test-tidy` does not report any errors - [X] These changes fix #22626 <!-- Either: --> - [X] These changes do not require tests because it's a patch to `mach` <!-- Also, please make sure that "Allow edits from maintainers" checkbox is checked, so that we can help you if you get stuck somewhere along the way.--> <!-- Pull requests that do not address these steps are welcome, but they will require additional verification as part of the review process. --> <!-- Reviewable:start --> --- This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/22726) <!-- Reviewable:end -->
Diffstat (limited to 'python/servo/bootstrap.py')
-rw-r--r--python/servo/bootstrap.py15
1 files changed, 15 insertions, 0 deletions
diff --git a/python/servo/bootstrap.py b/python/servo/bootstrap.py
index 1c49ab67185..c7060b3888a 100644
--- a/python/servo/bootstrap.py
+++ b/python/servo/bootstrap.py
@@ -370,6 +370,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',