Anders Blomdell / mbed-sdk-tools

Clone of official tools

Diff: settings.py

Revision:
40:7d3fa6b99b2b
Parent:
35:da9c89f8be7d
Child:
43:2a7da56ebd24
--- a/settings.py	Wed Jul 19 16:44:30 2017 -0500
+++ b/settings.py	Tue Oct 10 16:56:30 2017 -0500
@@ -30,6 +30,9 @@
 # ARM Compiler 5
 ARM_PATH = ""
 
+# ARM Compiler 6
+ARMC6_PATH = ""
+
 # GCC ARM
 GCC_ARM_PATH = ""
 
@@ -70,7 +73,8 @@
 ##############################################################################
 # User Settings (env vars)
 ##############################################################################
-_ENV_PATHS = ['ARM_PATH', 'GCC_ARM_PATH', 'GCC_CR_PATH', 'IAR_PATH']
+_ENV_PATHS = ['ARM_PATH', 'GCC_ARM_PATH', 'GCC_CR_PATH', 'IAR_PATH',
+              'ARMC6_PATH']
 
 for _n in _ENV_PATHS:
     if getenv('MBED_'+_n):