diff --git a/scripts/install.py b/scripts/install.py index 605dcc103..e53f664b4 100755 --- a/scripts/install.py +++ b/scripts/install.py @@ -818,7 +818,7 @@ def _get_platform(): # TODO -- someday when install.py accepts a platform of the form # os/arch/compiler/compiler_version then we can replace the # 'linux64' platform with 'linux/x86_64/gcc/4.1' - this_platform = 'linux' + this_platform = 'linux64' return this_platform def _getuser():