From 0d087d4edc2b9c6f6776ccab401acd614415189d Mon Sep 17 00:00:00 2001
From: Nick Bolton <nick@synergy-project.org>
Date: Thu, 10 Apr 2014 16:03:28 +0000
Subject: [PATCH] fixed: wrong arch for rpi

---
 ext/toolchain/commands1.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ext/toolchain/commands1.py b/ext/toolchain/commands1.py
index aacd0299..33d275a0 100644
--- a/ext/toolchain/commands1.py
+++ b/ext/toolchain/commands1.py
@@ -1327,7 +1327,7 @@ class InternalCommands:
 	
 	def getDebianArch(self):
 		if os.uname()[4][:3] == 'arm':
-			return 'armel'
+			return 'armhf'
 
                 # os_bits should be loaded with '32bit' or '64bit'
                 import platform