fixed: wrong arch for rpi

2014-04-10 16:03:28 +00:00 · 2014-04-10 16:03:28 +00:00 · 0d087d4edc
parent fd35e6fd71
commit 0d087d4edc
1 changed files with 1 additions and 1 deletions
--- 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