mandriva 2007.1 support

This commit is contained in:
Marcos Pinto 2007-06-08 20:22:52 +00:00
parent 2bd9c9cbf8
commit 93b533e547
1 changed files with 1 additions and 1 deletions

View File

@ -91,7 +91,7 @@ if ARCH == "x64":
if not OS == "win": if not OS == "win":
if OS == "linux": 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' boosttype = 'nomt'
else: else:
boosttype = 'mt' boosttype = 'mt'