From 89c0f5ca5f413751219f8cf89cc4dba79eeac0c9 Mon Sep 17 00:00:00 2001 From: Marcos Pinto Date: Thu, 24 May 2007 06:57:37 +0000 Subject: [PATCH] distro auto-detect cleanup --- setup.py | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/setup.py b/setup.py index 112da7684..13f0cf8c1 100644 --- a/setup.py +++ b/setup.py @@ -88,11 +88,7 @@ if ARCH == "x64": if not OS == "win": - if os.WEXITSTATUS(os.system('grep -q "Debian GNU/Linux 4.0" /etc/issue')) == 0: - boosttype = 'nomt' - elif os.WEXITSTATUS(os.system('grep -q "Ubuntu 7.04" /etc/issue')) == 0: - boosttype = 'nomt' - elif os.WEXITSTATUS(os.system('grep -q "Ubuntu 6.06" /etc/issue')) == 0: + if os.WEXITSTATUS(os.system('grep -q "Debian GNU/Linux 4.0\|Ubuntu 7.04\|Ubuntu 6.06" /etc/issue')) == 0: boosttype = 'nomt' else: boosttype = 'mt'