diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/install.py | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/scripts/install.py b/scripts/install.py index 67b1c8f409..d72d81868d 100755 --- a/scripts/install.py +++ b/scripts/install.py @@ -769,14 +769,16 @@ def _get_platform(): # 'linux64' platform with 'linux/x86_64/gcc/4.1' this_platform = 'linux64' else: - gcc_version = os.popen("g++ -dumpversion", 'r').read()[:-3] - if gcc_version == '4.1': + gcc_version = os.popen("g++ -dumpversion", 'r').read() + if gcc_version[:3] == '4.1': # the 'linux32' platform is a HACK until we can figure # out how to make the install.py script accept a platform of # the form os/arch/compiler/compiler_version for the download # and extract stage #this_platform = 'linux/i686/gcc/4.1' - this_platform = 'linux32' + # NOTE: disabled linux32 as it hasn't been tested well + #this_platform = 'linux32' + this_platform = this_platform return this_platform def _getuser(): |