diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/install.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/install.py b/scripts/install.py index 5069918bee..6278fba16c 100755 --- a/scripts/install.py +++ b/scripts/install.py @@ -779,7 +779,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 = 'linux64' + this_platform = 'linux' return this_platform def _getuser(): |