From 5e90d29f585ac55ad89dfc249ff71ee9e887dc92 Mon Sep 17 00:00:00 2001 From: Marcos Pinto Date: Mon, 28 May 2007 09:55:17 +0000 Subject: [PATCH] fedora 6 fix --- setup.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/setup.py b/setup.py index dff5776af..a27b55ed8 100644 --- a/setup.py +++ b/setup.py @@ -88,7 +88,7 @@ if ARCH == "x64": if not OS == "win": - if os.WEXITSTATUS(os.system('grep -q "Debian GNU/Linux 4.0\|Ubuntu 7.04\|Ubuntu 6.06\|Fedora Core 6" /etc/issue')) == 0: + if os.WEXITSTATUS(os.system('grep -q "Debian GNU/Linux 4.0\|Ubuntu 7.04\|Ubuntu 6.06\|Fedora Core release 6" /etc/issue')) == 0: boosttype = 'nomt' else: boosttype = 'mt'