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

Update remaining default_lib usage in arm compiler

pull/8305/head
Jimmy Brisson 2018-10-09 10:50:02 -05:00
parent 0e458bd163
commit a270249aa7
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
tools/toolchains/arm.py
View File

@ -60,7 +60,7 @@ class ARM(mbedToolchain):
raise NotSupportedException( raise NotSupportedException(
"this compiler does not support the core %s" % target.core) "this compiler does not support the core %s" % target.core)
if getattr(target, "default_lib", "std") == "small": if getattr(target, "default_toolchain", "ARM") == "uARM":
if "-DMBED_RTOS_SINGLE_THREAD" not in self.flags['common']: if "-DMBED_RTOS_SINGLE_THREAD" not in self.flags['common']:
self.flags['common'].append("-DMBED_RTOS_SINGLE_THREAD") self.flags['common'].append("-DMBED_RTOS_SINGLE_THREAD")
if "-D__MICROLIB" not in self.flags['common']: if "-D__MICROLIB" not in self.flags['common']:
@ -350,7 +350,7 @@ class ARM_MICRO(ARM):
def __init__(self, target, notify=None, macros=None, def __init__(self, target, notify=None, macros=None,
silent=False, extra_verbose=False, build_profile=None, silent=False, extra_verbose=False, build_profile=None,
build_dir=None): build_dir=None):
target.default_lib = "small" target.default_toolchain = "uARM"
ARM.__init__(self, target, notify, macros, build_dir=build_dir, ARM.__init__(self, target, notify, macros, build_dir=build_dir,
build_profile=build_profile) build_profile=build_profile)
if not set(("ARM", "uARM")).intersection(set(target.supported_toolchains)): if not set(("ARM", "uARM")).intersection(set(target.supported_toolchains)):