diff options
| author | bors-servo <servo-ops@mozilla.com> | 2020-06-14 21:29:53 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-14 21:29:53 -0400 |
| commit | 6b0d9afd6fdc28356ad44af0104ddd25a7b6438d (patch) | |
| tree | 0f4c415731f81987a15ec279c320d900d0f81029 /python/servo/bootstrap.py | |
| parent | 74cd81b8ce823f8ddf830ef4ef144d4416822a54 (diff) | |
| parent | 1d789867d26931888e83dce28fe5ff1fa6414e0b (diff) | |
| download | servo-6b0d9afd6fdc28356ad44af0104ddd25a7b6438d.tar.gz servo-6b0d9afd6fdc28356ad44af0104ddd25a7b6438d.zip | |
Auto merge of #26913 - humancalico:master, r=jdm
support Pop!_OS 20.04 for mach bootstrap
Diffstat (limited to 'python/servo/bootstrap.py')
| -rw-r--r-- | python/servo/bootstrap.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/python/servo/bootstrap.py b/python/servo/bootstrap.py index 0e9dbeb7981..eb4cc84f36b 100644 --- a/python/servo/bootstrap.py +++ b/python/servo/bootstrap.py @@ -351,7 +351,9 @@ def get_linux_distribution(): else: major = version - if major == '19': + if major == '20': + base_version = '20.04' + elif major == '19': base_version = '18.04' elif major == '18': base_version = '16.04' |