| Index: tools/build.py
|
| diff --git a/tools/build.py b/tools/build.py
|
| index 71b9247d591bcb89330c7836ac69abab0e2c600b..ead10d96871ae88d7052b842c4c71d504a1fea7d 100755
|
| --- a/tools/build.py
|
| +++ b/tools/build.py
|
| @@ -120,6 +120,11 @@ def SetTools(arch, toolchainprefix):
|
| toolsOverride = None
|
| if arch == 'arm' and toolchainprefix == None:
|
| toolchainprefix = DEFAULT_ARM_CROSS_COMPILER_PATH + "/bin/arm-linux-gnueabi"
|
| + # If the 'TARGET_TOOLCHAIN_PREFIX' environment variable is set, we use it
|
| + # instead. (We use it currently on our buildbots to override the default
|
| + # toolchain).
|
| + if 'TARGET_TOOLCHAIN_PREFIX' in os.environ:
|
| + toolchainprefix = os.environ['TARGET_TOOLCHAIN_PREFIX']
|
| if toolchainprefix:
|
| toolsOverride = {
|
| "CC.target" : toolchainprefix + "-gcc",
|
|
|