fedora 6 fix

This commit is contained in:
Marcos Pinto 2007-05-28 09:55:17 +00:00
parent fdb19af20f
commit 5e90d29f58

View file

@ -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'