diff options
| author | Gabe Martin <gabe@gabemartin.ca> | 2019-11-01 09:27:50 -0400 |
|---|---|---|
| committer | Gabe Martin <gabe@gabemartin.ca> | 2019-11-01 09:27:50 -0400 |
| commit | 477cb8c1815a0a81ab4633b192e5781561db3b62 (patch) | |
| tree | b9356605ec5396813aff309942e4e555e728b1b4 /python/servo | |
| parent | 812ca3b4f24972dd7a528d25a2a787ff12fa526e (diff) | |
| download | servo-477cb8c1815a0a81ab4633b192e5781561db3b62.tar.gz servo-477cb8c1815a0a81ab4633b192e5781561db3b62.zip | |
fix: adding a check for Linux Mint with a space
Diffstat (limited to 'python/servo')
| -rw-r--r-- | python/servo/bootstrap.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/python/servo/bootstrap.py b/python/servo/bootstrap.py index f240131f30a..3a01f666a56 100644 --- a/python/servo/bootstrap.py +++ b/python/servo/bootstrap.py @@ -348,7 +348,7 @@ def get_linux_distribution(): distrib = six.ensure_str(distrib) version = six.ensure_str(version) - if distrib == 'LinuxMint': + if distrib == 'LinuxMint' or distrib == 'Linux Mint': if '.' in version: major, _ = version.split('.', 1) else: |