| Index: tools/build.py
|
| diff --git a/tools/build.py b/tools/build.py
|
| index 71b9247d591bcb89330c7836ac69abab0e2c600b..c666fbababc1b7547a43b0ecf768152090fece7d 100755
|
| --- a/tools/build.py
|
| +++ b/tools/build.py
|
| @@ -119,7 +119,8 @@ def ProcessOptions(options, args):
|
| def SetTools(arch, toolchainprefix):
|
| toolsOverride = None
|
| if arch == 'arm' and toolchainprefix == None:
|
| - toolchainprefix = DEFAULT_ARM_CROSS_COMPILER_PATH + "/bin/arm-linux-gnueabi"
|
| + toolchainprefix = (DEFAULT_ARM_CROSS_COMPILER_PATH +
|
| + "/bin/arm-linux-gnueabihf")
|
| if toolchainprefix:
|
| toolsOverride = {
|
| "CC.target" : toolchainprefix + "-gcc",
|
|
|