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", |