From 7b293575de872affce01de66793f5359f7765aed Mon Sep 17 00:00:00 2001 From: Matthieu Gautier Date: Mon, 13 Feb 2017 14:25:31 +0100 Subject: [PATCH] Lower case the distname (only on linux distribution) Cases are (should be) not important here. Let's lower it. --- kiwix-build.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/kiwix-build.py b/kiwix-build.py index e2c53a8..5577c26 100755 --- a/kiwix-build.py +++ b/kiwix-build.py @@ -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):