From 93b533e547a4b38f07a3a6505e8180a05227c66c Mon Sep 17 00:00:00 2001 From: Marcos Pinto Date: Fri, 8 Jun 2007 20:22:52 +0000 Subject: [PATCH] mandriva 2007.1 support --- setup.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/setup.py b/setup.py index 30b7e3bc5..845b4c210 100644 --- a/setup.py +++ b/setup.py @@ -91,7 +91,7 @@ if ARCH == "x64": if not OS == "win": if OS == "linux": - if os.WEXITSTATUS(os.system('grep -iq "Debian GNU/Linux 4.0\|Ubuntu 7.04\|Ubuntu 6.06\|Fedora Core release 6\|openSUSE 10.2" /etc/issue')) == 0: + if os.WEXITSTATUS(os.system('grep -iq "Debian GNU/Linux 4.0\|Ubuntu 7.04\|Ubuntu 6.06\|Fedora Core release 6\|openSUSE 10.2\|Mandriva Linux release 2007.1" /etc/issue')) == 0: boosttype = 'nomt' else: boosttype = 'mt'