Use linux64 key on x86_64

2011-05-02 04:35:56 +02:00
parent 5246fc9cdd
commit 1510d5ff5a
1 changed files with 1 additions and 1 deletions
--- 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():