ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Merge pull request #2033 from screamerbg/env-var-paths 

[Tools] Add MBED_ prefix to compilers environment variables
pull/2049/head
Martin Kojtal 2016-06-28 17:32:42 +02:00 committed by GitHub
parent b8cc5988bb b67d425f09
commit 5534f34d0e
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
tools/settings.py
View File

@ -69,11 +69,11 @@ except ImportError:
_ENV_PATHS = ['ARM_PATH', 'GCC_ARM_PATH', 'GCC_CR_PATH', 'IAR_PATH']
for _n in _ENV_PATHS:
if getenv(_n):
if exists(getenv(_n)):
globals()[_n] = getenv(_n)
if getenv('MBED_'+_n):
if exists(getenv('MBED_'+_n)):
globals()[_n] = getenv('MBED_'+_n)
else:
print "WARNING: %s set as environment variable but doesn't exist" % _n
print "WARNING: MBED_%s set as environment variable but doesn't exist" % _n
##############################################################################