diff options
| author | cdeler <serj.krotov@gmail.com> | 2018-12-08 21:18:53 +0300 |
|---|---|---|
| committer | cdeler <serj.krotov@gmail.com> | 2018-12-08 21:26:15 +0300 |
| commit | 8e1ef081278c738d5f8cf3dc26d19a8fdf05862e (patch) | |
| tree | 225f24ee7d79571f36f04777bf8f0dcb3c0bc26e /python/servo/bootstrap.py | |
| parent | 8fb1b567fa87a66d3a962060716e3be794ea66b2 (diff) | |
| download | servo-8e1ef081278c738d5f8cf3dc26d19a8fdf05862e.tar.gz servo-8e1ef081278c738d5f8cf3dc26d19a8fdf05862e.zip | |
Fixup the issue related with an incorrect distro version string handling
Diffstat (limited to 'python/servo/bootstrap.py')
| -rw-r--r-- | python/servo/bootstrap.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/python/servo/bootstrap.py b/python/servo/bootstrap.py index 4f3f84ebcae..4f9744a7c17 100644 --- a/python/servo/bootstrap.py +++ b/python/servo/bootstrap.py @@ -345,7 +345,10 @@ def get_linux_distribution(): distro, version, _ = platform.linux_distribution() if distro == 'LinuxMint': - major, minor = version.split('.') + if '.' in version: + major, _ = version.split('.', 1) + else: + major = version if major == '19': base_version = '18.04' |