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 -->

python/servo/bootstrap.py

@@ -369,6 +369,21 @@ def get_linux_distribution():
         else:
             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',