From 1510d5ff5a55438eec39b59905bafc1bbaaf53f7 Mon Sep 17 00:00:00 2001
From: Aleric Inglewood <Aleric.Inglewood@gmail.com>
Date: Mon, 2 May 2011 04:35:56 +0200
Subject: [PATCH] Use linux64 key on x86_64

---
 scripts/install.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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():