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

Avoid including two times the same set of directories

pull/9/head
emilmont 2013-06-28 21:05:27 +01:00
parent 265c5b405d
commit b464564dc1
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
workspace_tools/build_api.py
View File

@ -130,7 +130,7 @@ def build_mbed_libs(target, toolchain_name, verbose=False):
toolchain.copy_files(resources.headers, BUILD_TARGET)
toolchain.copy_files(resources.linker_script, BUILD_TOOLCHAIN)
objects = toolchain.compile_sources(resources, TMP_PATH, resources.inc_dirs)
objects = toolchain.compile_sources(resources, TMP_PATH)
toolchain.copy_files(objects, BUILD_TOOLCHAIN)
# mbed
@ -146,8 +146,7 @@ def build_mbed_libs(target, toolchain_name, verbose=False):
toolchain.copy_files(toolchain.scan_resources(MBED_HAL).headers, MBED_LIBRARIES)
toolchain.copy_files(hal_implementation.headers, BUILD_TARGET)
includes = mbed_resources.inc_dirs + [MBED_LIBRARIES, BUILD_TARGET]
objects = toolchain.compile_sources(mbed_resources, TMP_PATH, includes)
objects = toolchain.compile_sources(mbed_resources, TMP_PATH, [MBED_LIBRARIES, BUILD_TARGET])
# Keep the stdio retargeting as a standalone object to be sure the
# C standard library symbols get overridden