Lower case the distname (only on linux distribution)

Cases are (should be) not important here. Let's lower it.
This commit is contained in:
Matthieu Gautier 2017-02-13 14:25:31 +01:00
parent 1364704e1e
commit 7b293575de
1 changed files with 2 additions and 1 deletions

View File

@ -252,7 +252,8 @@ class BuildEnv:
'Tests, bug reports and patches are welcomed.')
if _platform == 'Linux':
self.distname, _, _ = platform.linux_distribution()
if self.distname == 'Ubuntu':
self.distname = self.distname.lower()
if self.distname == 'ubuntu':
self.distname = 'debian'
def finalize_setup(self):